- Directions in Connectionist Research: Tractable Computations Without Syntactically Structured Representations.Jonathan Waskan & William Bechtel - 1997 - Metaphilosophy 28 (1‐2):31-62.details
|
|
Asynchronous knowledge with hidden actions in the situation calculus.Ryan F. Kelly & Adrian R. Pearce - 2015 - Artificial Intelligence 221 (C):1-35.details
|
|
How to progress a database III.Stavros Vassos & Hector J. Levesque - 2013 - Artificial Intelligence 195 (C):203-221.details
|
|
From systems to logic in the early development of nonmonotonic reasoning.Erik Sandewall - 2011 - Artificial Intelligence 175 (1):416-427.details
|
|
Enactive artificial intelligence: Investigating the systemic organization of life and mind.Tom Froese & Tom Ziemke - 2009 - Artificial Intelligence 173 (3-4):466-500.details
|
|
Formal methods in the design of question-answering systems.Erik Sandewall - 1971 - Artificial Intelligence 2 (2):129-145.details
|
|
Prolegomena to a theory of mechanized formal reasoning.Richard W. Weyhrauch - 1980 - Artificial Intelligence 13 (1-2):133-170.details
|
|
Probabilistic logic revisited.Nils J. Nilsson - 1993 - Artificial Intelligence 59 (1-2):39-42.details
|
|
Building large knowledge-based systems: Representation and inference in the cyc project.Drew McDermott - 1993 - Artificial Intelligence 61 (1):53-63.details
|
|
Knowledge, action, and the frame problem.Richard B. Scherl & Hector J. Levesque - 2003 - Artificial Intelligence 144 (1-2):1-39.details
|
|
Integrating actions and state constraints: A closed-form solution to the ramification problem.Sheila A. McIlraith - 2000 - Artificial Intelligence 116 (1-2):87-121.details
|
|
The Spatial Semantic Hierarchy.Benjamin Kuipers - 2000 - Artificial Intelligence 119 (1-2):191-233.details
|
|
Behavioural artificial intelligence: an agenda for systematic empirical studies of artificial inference.Tore Pedersen & Christian Johansen - 2020 - AI and Society 35 (3):519-532.details
|
|
Operators vs. Arguments: The Ins and Outs of Reification.Antony Galton - 2006 - Synthese 150 (3):415-441.details
|
|
Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.details
|
|
Knowledge of counterfactual interventions through cognitive models of mechanisms.Jonathan Waskan - 2008 - International Studies in the Philosophy of Science 22 (3):259 – 275.details
|
|
John McCarthy's legacy.Leora Morgenstern & Sheila A. McIlraith - 2011 - Artificial Intelligence 175 (1):1-24.details
|
|
From here to human-level AI.John McCarthy - 2007 - Artificial Intelligence 171 (18):1174-1182.details
|
|
Eurisko: A program that learns new heuristics and domain concepts.Douglas B. Lenat - 1983 - Artificial Intelligence 21 (1-2):61-98.details
|
|
Multilanguage hierarchical logics, or: How we can do without modal logics.Fausto Giunchiglia & Luciano Serafini - 1994 - Artificial Intelligence 65 (1):29-70.details
|
|
Two counterexamples related to Baker's approach to the frame problem.G. Neelakantan Kartha - 1994 - Artificial Intelligence 69 (1-2):379-391.details
|
|
Dynamic reasoning with qualified syllogisms.Daniel G. Schwartz - 1997 - Artificial Intelligence 93 (1-2):103-167.details
|
|
Can Ai be Intelligent?Kazimierz Trzęsicki - 2016 - Studies in Logic, Grammar and Rhetoric 48 (1):103-131.details
|
|
Understanding and Its Role in Inquiry.Benjamin T. Rancourt - unknowndetails
|
|
A Semantics for Means-end Relations.Jesse Hughes, Peter Kroes & Sjoerd Zwart - 2007 - Synthese 158 (2):207-231.details
|
|
Emotion, Cognition and Artificial Intelligence.Jason Megill - 2014 - Minds and Machines 24 (2):189-199.details
|
|
(1 other version)A Formal Characterisation of Hamblin’s Action-State Semantics.Chris Reed & Timothy J. Norman - 2007 - Journal of Philosophical Logic 36 (4):415 - 448.details
|
|
Frames in the space of situations.Vladimir Lifschitz - 1990 - Artificial Intelligence 46 (3):365-376.details
|
|
The independent choice logic for modelling multiple agents under uncertainty.David Poole - 1997 - Artificial Intelligence 94 (1-2):7-56.details
|
|
(1 other version)Review of Gorayska & Mey (2004): Cognition and Technology: Co-existence, Convergence and Co-Evolution. [REVIEW]Iris van Rooij - 2005 - Pragmatics and Cognition 13 (3):647-655.details
|
|
Action Models for Conditionals.Jeremy Lent & Richmond H. Thomason - 2015 - Journal of Logic, Language and Information 24 (2):211-231.details
|
|
Temporal propositions as regular languages.Tim Fernando - unknowndetails
|
|
Non-Markovian control in the Situation Calculus.Alfredo Gabaldon - 2011 - Artificial Intelligence 175 (1):25-48.details
|
|
The well-designed logical robot: Learning and experience from observations to the Situation Calculus.Fiora Pirri - 2011 - Artificial Intelligence 175 (1):378-415.details
|
|
From the textual description of an accident to its causes.Daniel Kayser & Farid Nouioua - 2009 - Artificial Intelligence 173 (12-13):1154-1193.details
|
|
Analogical representations of naive physics.Francesco Gardin & Bernard Meltzer - 1989 - Artificial Intelligence 38 (2):139-159.details
|
|
A logical framework for depiction and image interpretation.Raymond Reiter & Alan K. Mackworth - 1989 - Artificial Intelligence 41 (2):125-155.details
|
|
Ramification and causality.Michael Thielscher - 1997 - Artificial Intelligence 89 (1-2):317-364.details
|
|
The Qualification Problem: A solution to the problem of anomalous models.Michael Thielscher - 2001 - Artificial Intelligence 131 (1-2):1-37.details
|
|
In Theoretical and Philosophical Psychology.Shimon Edelman - unknowndetails
|
|
Representation and knowledge are not the same thing.Leslie Smith - 1999 - Behavioral and Brain Sciences 22 (5):784-785.details
|
|
Observing events and situations in time.Tim Fernando - 2007 - Linguistics and Philosophy 30 (5):527-550.details
|
|
Comic relief for anankastic conditionals.Tim Fernando - manuscriptdetails
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
Property persistence in the situation calculus.Ryan F. Kelly & Adrian R. Pearce - 2010 - Artificial Intelligence 174 (12-13):865-888.details
|
|
Approximation of action theories and its application to conformant planning.Phan Huy Tu, Tran Cao Son, Michael Gelfond & A. Ricardo Morales - 2011 - Artificial Intelligence 175 (1):79-119.details
|
|
Modeling digital circuits for troubleshooting.Walter C. Hamscher - 1991 - Artificial Intelligence 51 (1-3):223-271.details
|
|
Maintaining mental models of agents who have existential misconceptions.Anthony S. Maida - 1991 - Artificial Intelligence 50 (3):331-383.details
|
|
A theory of abstraction.Fausto Giunchiglia & Toby Walsh - 1992 - Artificial Intelligence 57 (2-3):323-389.details
|
|
A logic programming approach to knowledge-state planning, II: The system.Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer & Axel Polleres - 2003 - Artificial Intelligence 144 (1-2):157-211.details
|
|