- Book: Cognitive Design for Artificial Minds.Antonio Lieto - 2021 - London, UK: Routledge, Taylor & Francis Ltd.details
|
|
Semantics and complexity of recursive aggregates in answer set programming.Wolfgang Faber, Gerald Pfeifer & Nicola Leone - 2011 - Artificial Intelligence 175 (1):278-298.details
|
|
Dialogue games that agents play within a society.Nishan C. Karunatillake, Nicholas R. Jennings, Iyad Rahwan & Peter McBurney - 2009 - Artificial Intelligence 173 (9-10):935-981.details
|
|
Search and Reasoning in problem solving.Herbert A. Simon - 1983 - Artificial Intelligence 21 (1-2):7-29.details
|
|
Dialectic proof procedures for assumption-based, admissible argumentation.P. M. Dung, R. A. Kowalski & F. Toni - 2006 - Artificial Intelligence 170 (2):114-159.details
|
|
An epistemological science of common sense.Fausto Giunchiglia - 1995 - Artificial Intelligence 77 (2):371-392.details
|
|
Elaboration tolerance through object-orientation.Joakim Gustafsson & Jonas Kvarnström - 2004 - Artificial Intelligence 153 (1-2):239-285.details
|
|
Foundations of a functional approach to knowledge representation.Hector J. Levesque - 1984 - Artificial Intelligence 23 (2):155-212.details
|
|
Completeness results for circumscription.Donald Perlis & Jack Minker - 1986 - Artificial Intelligence 28 (1):29-42.details
|
|
Nonmonotonic reasoning, preferential models and cumulative logics.Sarit Kraus, Daniel Lehmann & Menachem Magidor - 1990 - Artificial Intelligence 44 (1-2):167-207.details
|
|
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games.Phan Minh Dung - 1995 - Artificial Intelligence 77 (2):321-357.details
|
|
A circumscriptive calculus of events.Murray Shanahan - 1995 - Artificial Intelligence 77 (2):249-284.details
|
|
Reducing belief revision to circumscription.Paolo Liberatore & Marco Schaerf - 1997 - Artificial Intelligence 93 (1-2):261-296.details
|
|
Note about cardinality-based circumscription.Yves Moinard - 2000 - Artificial Intelligence 119 (1-2):259-273.details
|
|
Logic in knowledge representation and reasoning: Central topics via readings.Luis M. Augusto - manuscriptdetails
|
|
Metaphor, Modularity, and the Evolution of Conceptual Integration.Dan L. Chiappe - 2000 - Metaphor and Symbol 15 (3):137-158.details
|
|
Logical Omnipotence and Two notions of Implicit Belief.Danilo Fraga Dantas - 2019 - In Tiegue Vieira Rodrigues (ed.), Epistemologia Analítica: Debates Contemporâneos. Porto Alegre: Editora Fi. pp. 29-46.details
|
|
(1 other version)Epistemologia Analítica, Vol .1: debates contemporâneos.Tiegue Vieira Rodrigues (ed.) - 2019 - Editora Fi.details
|
|
Characterizing generics are material inference tickets: a proof-theoretic analysis.Preston Stovall - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy (5):668-704.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
|
|
A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies.Ivan Varzinczak - 2018 - Logica Universalis 12 (3-4):297-325.details
|
|
A Semantic Approach to Nonmonotonic Reasoning: Inference Operations and Choice, Uppsala Prints and Preprints in Philosophy, 1994, no 10.Sten Lindström - manuscriptdetails
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
(1 other version)Ontology: Towards a new synthesis.Barry Smith & Chris Welty - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press.details
|
|
Almost Ideal: Computational Epistemology and the Limits of Rationality for Finite Reasoners.Danilo Fraga Dantas - 2016 - Dissertation, University of California, Davisdetails
|
|
Ontologia e sistemi informativi.Barry Smith - 2006 - Networks 6:137-164.details
|
|
Reasoning About Preference Dynamics.Fenrong Liu - 2011 - Dordrecht, Netherland: Springer Verlag.details
|
|
Semantic Interpretation as Computation in Nonmonotonic Logic: The Real Meaning of the Suppression Task.Keith Stenning & Michiel van Lambalgen - 2005 - Cognitive Science 29 (6):919-960.details
|
|
Semantica e pragmatica linguistica. Tracce di normalità nelle implicature scalari.Salvatore Pistoia-Reda - 2014 - Carocci.details
|
|
The Relevance of Philosophical Ontology to Information and Computer Science.Barry Smith - 2014 - In Ruth Hagenbruger & Uwe V. Riss (eds.), Philosophy, computing and information science. Pickering & Chattoo. pp. 75-83.details
|
|
Models, rules and expertise.Rosemary J. Stevenson - 1993 - Behavioral and Brain Sciences 16 (2):366-366.details
|
|
Semantic interpolation.Dov M. Gabbay & Karl Schlechta - 2010 - Journal of Applied Non-Classical Logics 20 (4):345-371.details
|
|
Adaptively applying modus ponens in conditional logics of normality.Christian Straßer - 2012 - Journal of Applied Non-Classical Logics 22 (1):125-148.details
|
|
Epistemic capacities, incompatible information and incomplete beliefs.Piotr Kulicki, Robert Trypuz, Paweł Garbacz & Marek Lechniak - 2010 - In Piotr Kulicki, Robert Trypuz, Paweł Garbacz & Marek Lechniak (eds.), In proceeding of: ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-10).details
|
|
Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.details
|
|
Defeasible Conditionalization.Paul D. Thorn - 2014 - Journal of Philosophical Logic 43 (2-3):283-302.details
|
|
Against Logicist Cognitive Science.Mike Oaksford & Nick Chater - 1991 - Mind and Language 6 (1):1-38.details
|
|
A sceptical theory of inheritance in nonmonotonic semantic networks.John F. Horty, Richmond H. Thomason & David S. Touretzky - 1990 - Artificial Intelligence 42 (2-3):311-348.details
|
|
Design Science Research for Computational Thinking in Constructionist Education: A Pragmatist Perspective.Vladimiras Dolgopolovas, Valentina Dagienė, Eglė Jasutė & Tatjana Jevsikova - 2019 - Problemos 95.details
|
|
Meaning and inference.Jaroslav Peregrin - 2003 - In Timothy Childers & Ondrej Majer (eds.), Logica Yearbook 2002. Filosofia.details
|
|
The theory of nomic probability.John L. Pollock - 1992 - Synthese 90 (2):263 - 299.details
|
|
Defeasible Reasoning.John L. Pollock - 1987 - Cognitive Science 11 (4):481-518.details
|
|
Reviewing Reduction in a Preferential Model‐Theoretic Context.Emma Ruttkamp & Johannes Heidema - 2005 - International Studies in the Philosophy of Science 19 (2):123 – 146.details
|
|
Prolegomena to concise theories of action.Pavlos Peppas, Costas D. Koutras & Mary-Anne Williams - 2001 - Studia Logica 67 (3):403-418.details
|
|
Prima facie and seeming duties.Michael Morreau - 1996 - Studia Logica 57 (1):47 - 71.details
|
|
Defeasible reasoning and logic programming.Timothy R. Colburn - 1991 - Minds and Machines 1 (4):417-436.details
|
|
Logic and artificial intelligence: Divorced, still married, separated ...? [REVIEW]Selmer Bringsjord & David A. Ferrucci - 1998 - Minds and Machines 8 (2):273-308.details
|
|
A note on the rational closure of knowledge bases with both positive and negative knowledge.R. Booth & J. B. Paris - 1998 - Journal of Logic, Language and Information 7 (2):165-190.details
|
|
Reduction revisited.Emma Ruttkamp - 2006 - South African Journal of Philosophy 25 (2):102-112.details
|
|
Logical Disagreement.Frederik J. Andersen - 2024 - Dissertation, University of St. Andrewsdetails
|
|