- Design Science Research for Computational Thinking in Constructionist Education: A Pragmatist Perspective.Vladimiras Dolgopolovas, Valentina Dagienė, Eglė Jasutė & Tatjana Jevsikova - 2019 - Problemos 95.details
|
|
極小限定を用いた帰納推論.井上 克巳 齋藤 悠 - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:143-152.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
|
|
An improved factor based approach to precedential constraint.Adam Rigoni - 2015 - Artificial Intelligence and Law 23 (2):133-160.details
|
|
Annotation Theories over Finite Graphs.Dov M. Gabbay & Andrzej Szałas - 2009 - Studia Logica 93 (2):147-180.details
|
|
Uncertainty, Rationality, and Agency.Wiebe van der Hoek - 2006 - Dordrecht, Netherland: Springer.details
|
|
Information, Interaction, and Agency.Wiebe van der Hoek (ed.) - 2005 - Dordrecht, Netherland: Springer.details
|
|
Abductive Reasoning: Logical Investigations Into Discovery and Explanation.Atocha Aliseda - 2005 - Dordrecht and London: Springer.details
|
|
Book: Cognitive Design for Artificial Minds.Antonio Lieto - 2021 - London, UK: Routledge, Taylor & Francis Ltd.details
|
|
Adaptive Logics for Defeasible Reasoning.Christian Straßer - 2014 - Springer.details
|
|
Epistemologia Analítica, Vol .1: debates contemporâneos.Tiegue Vieira Rodrigues (ed.) - 2019 - Editora Fi.details
|
|
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
|
|
Reasoning About Preference Dynamics.Fenrong Liu - 2011 - Dordrecht, Netherland: Springer Verlag.details
|
|
A base logic for default reasoning.Beihai Zhou & Yi Mao - 2006 - Frontiers of Philosophy in China 1 (4):688-709.details
|
|
Probability and Conditionals: Belief Revision and Rational Decision. [REVIEW]Joseph Y. Halpern - 2000 - Philosophical Review 109 (2):277-281.details
|
|
Probability and Conditionals: Belief Revision and Rational Decision. [REVIEW]Joseph Y. Halpern - 2000 - Philosophical Review 109 (2):277-281.details
|
|
Using approximate reasoning to represent default knowledge.Ronald R. Yager - 1987 - Artificial Intelligence 31 (1):99-112.details
|
|
Senses of ‘argument’ in instantiated argumentation frameworks.Adam Wyner, Trevor Bench-Capon, Paul Dunne & Federico Cerutti - 2015 - Argument and Computation 6 (1):50-72.details
|
|
A functional perspective on argumentation schemes.Adam Wyner - 2016 - Argument and Computation 7 (2-3):113-133.details
|
|
More models just means more difficulty.N. E. Wetherick - 1993 - Behavioral and Brain Sciences 16 (2):367-368.details
|
|
Rules for reasoning from knowledge and lack of knowledge.Douglas Walton - 2006 - Philosophia 34 (3):355-376.details
|
|
Assumption-based argumentation for extended disjunctive logic programming and its relation to nonmonotonic reasoning.Toshiko Wakaki - forthcoming - Argument and Computation:1-45.details
|
|
Modeling generalized implicatures using non-monotonic logics.Jacques Wainer - 2007 - Journal of Logic, Language and Information 16 (2):195-216.details
|
|
Reasoning Processes as Epistemic Dynamics.Fernando R. Velázquez-Quesada - 2015 - Axiomathes 25 (1):41-60.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
|
|
The logic of empirical theories revisited.Johan van Benthem - 2012 - Synthese 186 (3):775-792.details
|
|
McCarthy variations in a modal key.Johan van Benthem - 2011 - Artificial Intelligence 175 (1):428-439.details
|
|
Logical dynamics meets logical pluralism?Johan van Benthem - 2008 - Australasian Journal of Logic 6:182-209.details
|
|
Implicit and Explicit Stances in Logic.Johan van Benthem - 2019 - Journal of Philosophical Logic 48 (3):571-601.details
|
|
Exhaustive interpretation of complex sentences.Robert van Rooij & Katrin Schulz - 2004 - Journal of Logic, Language and Information 13 (4):491-519.details
|
|
Scientific thinking and mental models.Ryan D. Tweney - 1993 - Behavioral and Brain Sciences 16 (2):366-367.details
|
|
Can Ai be Intelligent?Kazimierz Trzęsicki - 2016 - Studies in Logic, Grammar and Rhetoric 48 (1):103-131.details
|
|
Reasoning agents in a dynamic world: The frame problem.Jozsef A. Toth - 1995 - Artificial Intelligence 73 (1-2):323-369.details
|
|
A tutorial on assumption-based argumentation.Francesca Toni - 2014 - Argument and Computation 5 (1):89-117.details
|
|
Truth, Warrant and Superassertibility.Paul Tomassi - 2006 - Synthese 148 (1):31-56.details
|
|
Defeasible Conditionalization.Paul D. Thorn - 2014 - Journal of Philosophical Logic 43 (2-3):283-302.details
|
|
The Qualification Problem: A solution to the problem of anomalous models.Michael Thielscher - 2001 - Artificial Intelligence 131 (1-2):1-37.details
|
|
Ramification and causality.Michael Thielscher - 1997 - Artificial Intelligence 89 (1-2):317-364.details
|
|
A unifying action calculus.Michael Thielscher - 2011 - Artificial Intelligence 175 (1):120-141.details
|
|
Situation theory and mental models.Alice G. B. ter Meulen - 1993 - Behavioral and Brain Sciences 16 (2):358-359.details
|
|
Is default logic a reinvention of inductive-statistical reasoning?Yao-Hua Tan - 1997 - Synthese 110 (3):357-379.details
|
|
Second-order reasoning in description logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.details
|
|
Adaptively applying modus ponens in conditional logics of normality.Christian Straßer - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):125-148.details
|
|
Characterizing generics are material inference tickets: a proof-theoretic analysis.Preston Stovall - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy (5):668-704.details
|
|
Semantic Interpretation as Computation in Nonmonotonic Logic: The Real Meaning of the Suppression Task.Keith Stenning & Michiel Lambalgen - 2005 - Cognitive Science 29 (6):919-960.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
|
|
Resolving ambiguity in nonmonotonic inheritance hierarchies.Lynn Andrea Stein - 1992 - Artificial Intelligence 55 (2-3):259-310.details
|
|
Nonsentential representation and nonformality.Keith Stenning & Jon Oberlander - 1993 - Behavioral and Brain Sciences 16 (2):365-366.details
|
|
Models, rules and expertise.Rosemary J. Stevenson - 1993 - Behavioral and Brain Sciences 16 (2):366-366.details
|
|
Motivated action theory: a formal theory of causal reasoning.Lynn Andrea Stein & Leora Morgenstern - 1994 - Artificial Intelligence 71 (1):1-42.details
|
|