- Game description language and dynamic epistemic logic compared.Thorsten Engesser, Robert Mattmüller, Bernhard Nebel & Michael Thielscher - 2021 - Artificial Intelligence 292 (C):103433.details
|
|
Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.Henri Prade, Markus Knauff, Igor Douven & Gabriele Kern-Isberner - 2017 - Minds and Machines 27 (1):37-77.details
|
|
Strong Normalization via Natural Ordinal.Daniel Durante Pereira Alves - 1999 - Dissertation, details
|
|
The Dramatic True Story of the Frame Default.Vladimir Lifschitz - 2015 - Journal of Philosophical Logic 44 (2):163-176.details
|
|
Science, philosophy, and interpretation.Daniel C. Dennett - 1988 - Behavioral and Brain Sciences 11 (3):535.details
|
|
Intentional system theory and experimental psychology.Michael H. Van Kleeck - 1988 - Behavioral and Brain Sciences 11 (3):533.details
|
|
What is the intentional stance?Gilbert Harman - 1988 - Behavioral and Brain Sciences 11 (3):515.details
|
|
The intentional stance and the knowledge level.Allen Newell - 1988 - Behavioral and Brain Sciences 11 (3):520.details
|
|
Another “Just So” story: How the leopardguarders spot.Dorothy Cheney & Robert Seyfarth - 1988 - Behavioral and Brain Sciences 11 (3):506.details
|
|
An Extension Principle for Fuzzy Logics.Giangiacomo Gerla - 1994 - Mathematical Logic Quarterly 40 (3):357-380.details
|
|
RASP and ASP as a fragment of linear logic.Stefania Costantini & Andrea Formisano - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):49-74.details
|
|
Quantifier elimination for infinite terms.G. Marongiu & S. Tulipani - 1991 - Archive for Mathematical Logic 31 (1):1-17.details
|
|
A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law. [REVIEW]Trevor Bench-Capon, Michał Araszkiewicz, Kevin Ashley, Katie Atkinson, Floris Bex, Filipe Borges, Daniele Bourcier, Paul Bourgine, Jack G. Conrad, Enrico Francesconi, Thomas F. Gordon, Guido Governatori, Jochen L. Leidner, David D. Lewis, Ronald P. Loui, L. Thorne McCarty, Henry Prakken, Frank Schilder, Erich Schweighofer, Paul Thompson, Alex Tyrrell, Bart Verheij, Douglas N. Walton & Adam Z. Wyner - 2012 - Artificial Intelligence and Law 20 (3):215-319.details
|
|
Fixpoint Semantics for Logic Programming A Survey.Melvin Fitting - unknowndetails
|
|
Metric Methods Three Examples and a Theorem.Melvin Fitting - unknowndetails
|
|
Generalized definitional reflection and the inversion principle.Peter Schroeder-Heister - 2007 - Logica Universalis 1 (2):355-376.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
|
|
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
|
|
Reasoning about actions and obligations in first-order logic.Gert -Jan C. Lokhorst - 1996 - Studia Logica 57 (1):221 - 237.details
|
|
Natural language processing using a propositional semantic network with structured variables.Syed S. Ali & Stuart C. Shapiro - 1993 - Minds and Machines 3 (4):421-451.details
|
|
Precis of the intentional stance.Daniel C. Dennett - 1988 - Behavioral and Brain Sciences 11 (3):495-505.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
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
Formal ontologies in manufacturing.Emilio M. Sanfilippo, Yoshinobu Kitamura & Robert I. M. Young - 2019 - Applied ontology 14 (2):119-125.details
|
|
Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.Tarek R. Besold, Artur D’Avila Garcez, Keith Stenning, Leendert van der Torre & Michiel van Lambalgen - 2017 - Minds and Machines 27 (1):37-77.details
|
|
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules.Henning Christiansen - 2009 - Journal of Applied Logic 7 (3):341-362.details
|
|
On Learnability of Restricted Classes of Categorial Grammars.Barbara Dziemidowicz-Gryz - 2007 - Studia Logica 85 (2):153-169.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
|
|
The realistic stance.John R. Searle - 1988 - Behavioral and Brain Sciences 11 (3):527.details
|
|
Why philosophers should be designers.Aaron Sloman - 1988 - Behavioral and Brain Sciences 11 (3):529.details
|
|
Connectionism, Realism, and realism.Stephen P. Stich - 1988 - Behavioral and Brain Sciences 11 (3):531.details
|
|
What really matters.Charles Taylor - 1988 - Behavioral and Brain Sciences 11 (3):532.details
|
|
The notional world of D. C. Dennett.Arthur C. Danto - 1988 - Behavioral and Brain Sciences 11 (3):509.details
|
|
The stance stance.Fred Dretske - 1988 - Behavioral and Brain Sciences 11 (3):511.details
|
|
The ontological status of intentional states: Nailing folk psychology to its perch.Paul M. Churchland - 1988 - Behavioral and Brain Sciences 11 (3):507.details
|
|
Dennett's realisation theory of the relation between folk and scientific psychology.Adrian Cussins - 1988 - Behavioral and Brain Sciences 11 (3):508.details
|
|
First-order theories for pure Prolog programs with negation.Robert F. Stärk - 1995 - Archive for Mathematical Logic 34 (2):113-144.details
|
|
The Manipulation of Images to Handle Indeterminacy in Spatial Reasoning.Thomas R. Ioerger - 1994 - Cognitive Science 18 (4):551-593.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
|
|
Advice on Abductive Logic.Dov Gabbay & John Woods - 2006 - Logic Journal of the IGPL 14 (2):189-219.details
|
|
Classical Game Theory, Socialization and the Rationalization of Conventions.Don Ross - 2008 - Topoi 27 (1-2):57-72.details
|
|
Relevant deduction.Gerhard Schurz - 1991 - Erkenntnis 35 (1-3):391 - 437.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
|
|
Infinite set unification with application to categorial grammar.Jacek Marciniec - 1997 - Studia Logica 58 (3):339-355.details
|
|
Circular languages.Hannes Leitgeb & Alexander Hieke - 2004 - Journal of Logic, Language and Information 13 (3):341-371.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
|
|
Explanation-based interpretation of open-textured concepts in logical models of legislation.Stefania Costantini & Gaetano Aurelio Lanzarone - 1995 - Artificial Intelligence and Law 3 (3):191-208.details
|
|
Categorial grammars determined from linguistic data by unification.Wojciech BuszKowski & Gerald Penn - 1990 - Studia Logica 49 (4):431 - 454.details
|
|
The devil, the details, and Dr. Dennett.Patricia Kitcher & Philip Kitcher - 1988 - Behavioral and Brain Sciences 11 (3):517.details
|
|