- Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
区間変数に関する包含制約の等価変換.赤間 清 馬淵 浩司 - 2002 - Transactions of the Japanese Society for Artificial Intelligence 17:23-31.details
|
|
負制約の等価変換による問題解決の基礎理論.赤間 清 小池 英勝 - 2002 - Transactions of the Japanese Society for Artificial Intelligence 17:354-362.details
|
|
Proof-Theoretic Semantics: An Autobiographical Survey.Peter Schroeder-Heister - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 1-51.details
|
|
On the logical foundations of compound predicate formulae for legal knowledge representation.Hajime Yoshino - 1997 - Artificial Intelligence and Law 5 (1-2):77-96.details
|
|
Intentional system theory and experimental psychology.Michael H. Van Kleeck - 1988 - Behavioral and Brain Sciences 11 (3):533.details
|
|
What really matters.Charles Taylor - 1988 - Behavioral and Brain Sciences 11 (3):532.details
|
|
First-order theories for pure Prolog programs with negation.Robert F. Stärk - 1995 - Archive for Mathematical Logic 34 (2):113-144.details
|
|
Computing Generalized Specificity.Frieder Stolzenburg, Alejandro J. García, Carlos I. Chesñevar & Guillermo R. Simari - 2003 - Journal of Applied Non-Classical Logics 13 (1):87-113.details
|
|
Connectionism, Realism, and realism.Stephen P. Stich - 1988 - Behavioral and Brain Sciences 11 (3):531.details
|
|
Book reviews. [REVIEW]Luca Spalazzi - 2005 - Minds and Machines 15 (3-4):453-458.details
|
|
Coupling hypertext and knowledge based systems: Two applications in the legal domain. [REVIEW]Paul Soper & Trevor Bench-Capon - 1993 - Artificial Intelligence and Law 2 (4):293-314.details
|
|
Styles of computational representation.M. P. Smith - 1988 - Behavioral and Brain Sciences 11 (3):530.details
|
|
Why philosophers should be designers.Aaron Sloman - 1988 - Behavioral and Brain Sciences 11 (3):529.details
|
|
The realistic stance.John R. Searle - 1988 - Behavioral and Brain Sciences 11 (3):527.details
|
|
Relevant deduction.Gerhard Schurz - 1991 - Erkenntnis 35 (1-3):391 - 437.details
|
|
Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen.Peter Schroeder-Heister - 2002 - Bulletin of Symbolic Logic 8 (2):246-265.details
|
|
Generalized definitional reflection and the inversion principle.Peter Schroeder-Heister - 2007 - Logica Universalis 1 (2):355-376.details
|
|
Formal ontologies in manufacturing.Emilio M. Sanfilippo, Yoshinobu Kitamura & Robert I. M. Young - 2019 - Applied ontology 14 (2):119-125.details
|
|
Will the argument for abstracta please stand up?Alexander Rosenberg - 1988 - Behavioral and Brain Sciences 11 (3):526.details
|
|
Classical Game Theory, Socialization and the Rationalization of Conventions.Don Ross - 2008 - Topoi 27 (1-2):57-72.details
|
|
How to build a mind.H. L. Roitblat - 1988 - Behavioral and Brain Sciences 11 (3):525.details
|
|
Intentionality: How to tell Mae West from a crocodile.David Premack - 1988 - Behavioral and Brain Sciences 11 (3):522.details
|
|
The intentional stance and the knowledge level.Allen Newell - 1988 - Behavioral and Brain Sciences 11 (3):520.details
|
|
Models for belief revision.Raymundo Morado - 1992 - Philosophical Issues 2:227-247.details
|
|
Quantifier elimination for infinite terms.G. Marongiu & S. Tulipani - 1991 - Archive for Mathematical Logic 31 (1):1-17.details
|
|
Infinite set unification with application to categorial grammar.Jacek Marciniec - 1997 - Studia Logica 58 (3):339-355.details
|
|
Withdrawing unfalsifiable hypotheses.Lorenzo Magnani - 1999 - Foundations of Science 4 (2):133-153.details
|
|
Causes and intentions.Bruce J. MacLennan - 1988 - Behavioral and Brain Sciences 11 (3):519-520.details
|
|
Dennett's instrumentalism.William G. Lycan - 1988 - Behavioral and Brain Sciences 11 (3):518.details
|
|
Reasoning about actions and obligations in first-order logic.Gert -Jan C. Lokhorst - 1996 - Studia Logica 57 (1):221 - 237.details
|
|
Minimal and consistent evolution of knowledge bases.Jorge Lobo & Goce Trajcevski - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):117-146.details
|
|
The Dramatic True Story of the Frame Default.Vladimir Lifschitz - 2015 - Journal of Philosophical Logic 44 (2):163-176.details
|
|
Circular languages.Hannes Leitgeb & Alexander Hieke - 2004 - Journal of Logic, Language and Information 13 (3):341-371.details
|
|
The devil, the details, and Dr. Dennett.Patricia Kitcher & Philip Kitcher - 1988 - Behavioral and Brain Sciences 11 (3):517.details
|
|
Competence models are causal.David Kirsh - 1988 - Behavioral and Brain Sciences 11 (3):515.details
|
|
Two ways of formalizing grammars.Mark Johnson - 1994 - Linguistics and Philosophy 17 (3):221 - 248.details
|
|
Between constructive mathematics and PROLOG.Gerhard Jäger - 1991 - Archive for Mathematical Logic 30 (5-6):297-310.details
|
|
Some (in)translatability results for normal logic programs and propositional theories.Tomi Janhunen - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):35-86.details
|
|
The Manipulation of Images to Handle Indeterminacy in Spatial Reasoning.Thomas R. Ioerger - 1994 - Cognitive Science 18 (4):551-593.details
|
|
What is the intentional stance?Gilbert Harman - 1988 - Behavioral and Brain Sciences 11 (3):515.details
|
|
Real intentions?Donald R. Griffin - 1988 - Behavioral and Brain Sciences 11 (3):514.details
|
|
Derived intentionality?Alvin I. Goldman - 1988 - Behavioral and Brain Sciences 11 (3):514.details
|
|
An Extension Principle for Fuzzy Logics.Giangiacomo Gerla - 1994 - Mathematical Logic Quarterly 40 (3):357-380.details
|
|
Theory matrices (for modal logics) using alphabetical monotonicity.Ian P. Gent - 1993 - Studia Logica 52 (2):233 - 257.details
|
|
Abductive reasoning in neural-symbolic systems.Artur S. D’Avila Garcez, Dov M. Gabbay, Oliver Ray & John Woods - 2007 - Topoi 26 (1):37-49.details
|
|
Advice on Abductive Logic.Dov Gabbay & John Woods - 2006 - Logic Journal of the IGPL 14 (2):189-219.details
|
|
Game description language and dynamic epistemic logic compared.Thorsten Engesser, Robert Mattmüller, Bernhard Nebel & Michael Thielscher - 2021 - Artificial Intelligence 292 (C):103433.details
|
|
On Learnability of Restricted Classes of Categorial Grammars.Barbara Dziemidowicz-Gryz - 2007 - Studia Logica 85 (2):153-169.details
|
|
Dennett on belief.Michael Dummett - 1988 - Behavioral and Brain Sciences 11 (3):512.details
|
|