- Logic programming and knowledge representation—The A-Prolog perspective.Michael Gelfond & Nicola Leone - 2002 - Artificial Intelligence 138 (1-2):3-38.details
|
|
Representing action: indeterminacy and ramifications.Enrico Giunchiglia, G. Neelakantan Kartha & Vladimir Lifschitz - 1997 - Artificial Intelligence 95 (2):409-438.details
|
|
What robots can do: robot programs and effective achievability.Fangzhen Lin & Hector J. Levesque - 1998 - Artificial Intelligence 101 (1-2):201-226.details
|
|
Ordered binary decision diagrams as knowledge-bases.Takashi Horiyama & Toshihide Ibaraki - 2002 - Artificial Intelligence 136 (2):189-213.details
|
|
Imitation Game: Threshold or Watershed?Eric Neufeld & Sonje Finnestad - 2020 - Minds and Machines 30 (4):637-657.details
|
|
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
|
|
When Science Confronts Philosophy: Three Case Studies.Eric Dietrich - 2020 - Axiomathes 30 (5):479-500.details
|
|
Logic in knowledge representation and reasoning: Central topics via readings.Luis M. Augusto - manuscriptdetails
|
|
Dynamic Tractable Reasoning: A Modular Approach to Belief Revision.Holger Andreas - 2020 - Cham, Schweiz: Springer.details
|
|
Is Experience Stored in the Brain? A Current Model of Memory and the Temporal Metaphysic of Bergson.Stephen E. Robbins - 2021 - Axiomathes 31 (1):15-43.details
|
|
Metaphor, Modularity, and the Evolution of Conceptual Integration.Dan L. Chiappe - 2000 - Metaphor and Symbol 15 (3):137-158.details
|
|
Resonance and radical embodiment.Vicente Raja - 2020 - Synthese 199 (Suppl 1):113-141.details
|
|
When Science Confronts Philosophy: Three Case Studies.Eric Dietrich - 2020 - Axiomathes 1:1-22.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
|
|
Natural necessity: An introductory guide for ontologists.Fumiaki Toyoshima - 2020 - Applied ontology 15 (1):61-89.details
|
|
Black-box artificial intelligence: an epistemological and critical analysis.Manuel Carabantes - 2020 - AI and Society 35 (2):309-317.details
|
|
Making AI Meaningful Again.Jobst Landgrebe & Barry Smith - 2021 - Synthese 198 (March):2061-2081.details
|
|
Umjetna inteligencija i kompatibilizam: mogućnost postanka slobodnog uma u determiniranom tijelu.Sandro Skansi - 2015 - Filozofska Istrazivanja 35 (3):407-414.details
|
|
Computers Are Syntax All the Way Down: Reply to Bozşahin.William J. Rapaport - 2019 - Minds and Machines 29 (2):227-237.details
|
|
Prediction Error Minimization as a Framework for Social Cognition Research.Leon de Bruin & John Michael - 2018 - Erkenntnis 86 (1):1-20.details
|
|
Sciences of Observation.Chris Fields - 2018 - Philosophies 3 (4):29.details
|
|
The Cultural Impact on Ethics: Robotic Agency in Socio-Technical Systems.Patrick Grüneberg - 2015 - Global Japanese Studies Review 1 (8):19-36.details
|
|
Machine intelligence: a chimera.Mihai Nadin - 2019 - AI and Society 34 (2):215-242.details
|
|
Toward a general theory of representations.Aaron Sloman - 1994 - In Donald Peterson (ed.), Forms of representation: an interdisciplinary theme for Cognitive Science. Intellect Books. pp. 118-140.details
|
|
Can Ai be Intelligent?Kazimierz Trzęsicki - 2016 - Studies in Logic, Grammar and Rhetoric 48 (1):103-131.details
|
|
Heuristics, Concepts, and Cognitive Architecture: Toward Understanding How The Mind Works.Sheldon J. Chow - unknowndetails
|
|
Understanding and Its Role in Inquiry.Benjamin T. Rancourt - unknowndetails
|
|
Robot location estimation in the situation calculus.Vaishak Belle & Hector J. Levesque - 2015 - Journal of Applied Logic 13 (4):397-413.details
|
|
A formal account of opportunism based on the situation calculus.Jieting Luo & John-Jules Meyer - 2017 - AI and Society 32 (4):527-542.details
|
|
The Refined Extension Principle for Semantics of Dynamic Logic Programming.José Júlio Alferes, Federico Banti, Antonio Brogi & João Alexandre Leite - 2005 - Studia Logica 79 (1):7-32.details
|
|
Alan: An Action Language For Modelling Non-Markovian Domains.Graciela González, Chitta Baral & Michael Gelfond - 2005 - Studia Logica 79 (1):115-134.details
|
|
From Alan Turing to modern AI: practical solutions and an implicit epistemic stance.George F. Luger & Chayan Chakrabarti - 2017 - AI and Society 32 (3):321-338.details
|
|
Computational Representation of Practical Argument.Katie Atkinson, Trevor Bench-Capon & Peter McBurney - 2006 - Synthese 152 (2):157-206.details
|
|
A Semantics for Means-end Relations.Jesse Hughes, Peter Kroes & Sjoerd Zwart - 2007 - Synthese 158 (2):207-231.details
|
|
Operators vs. Arguments: The Ins and Outs of Reification.Antony Galton - 2006 - Synthese 150 (3):415-441.details
|
|
Logical Theories of Intention and the Database Perspective.Yoav Shoham - 2009 - Journal of Philosophical Logic 38 (6):633-647.details
|
|
Progression and Verification of Situation Calculus Agents with Bounded Beliefs.Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi & Stavros Vassos - 2016 - Studia Logica 104 (4):705-739.details
|
|
IT-ethical issues in sci-fi film within the timeline of the Ethicomp conference series.Anne Gerdes - 2015 - Journal of Information, Communication and Ethics in Society 13 (3/4):314-325.details
|
|
Cuatro problemas irresolubles de la IA simbólica.Manuel Carabantes López - 2015 - Revista de Filosofía (Madrid) 40 (1):81-104.details
|
|
Action Models for Conditionals.Jeremy Lent & Richmond H. Thomason - 2015 - Journal of Logic, Language and Information 24 (2):211-231.details
|
|
Awareness and Understanding in Computer Programs A Review of Shadows of the Mind by Roger Penrose. [REVIEW]John Mccarthy - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2.details
|
|
The Concurrent, Continuous Fluent Calculus.Thielscher Michael - 2001 - Studia Logica 67 (3):315-331.details
|
|
Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
A real‐world rational agent: unifying old and new AI.Paul F. M. J. Verschure & Philipp Althaus - 2003 - Cognitive Science 27 (4):561-590.details
|
|
AGM Theory and Artificial Intelligence.Raúl Carnota & Ricardo Rodríguez - 2011 - In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision meets Philosophy of Science. Springer. pp. 1--42.details
|
|
Language Evolution and Robotics: Issues on Symbol Grounding.Paul Vogt - 2006 - In Angelo Loula, Ricardo Gudwin & Jo?O. Queiroz (eds.), Artificial Cognition Systems. Idea Group Publishers. pp. 176.details
|
|
A non-representational approach to imagined action.I. van Rooij - 2002 - Cognitive Science 26 (3):345-375.details
|
|
Practical reasoning about knowledge states for open world planning with sensing.Tamara Babaian & James G. Schmolze - 2009 - Journal of Applied Non-Classical Logics 19 (1):7-41.details
|
|
A perdurant ontology for interoperating information systems based on interlocking institutional worlds.Robert M. Colomb & Mohammad Nazir Ahmad - 2010 - Applied ontology 5 (1):47-77.details
|
|
Some properties of system descriptions of.Michael Gelfond & Daniela Inclezan - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):105-120.details
|
|