Search results
From MaRDI portal
- Specification of nonmonotonic reasoning 2019-04-29 Paper Nonmonotonic reasoning with multiple belief sets 2019-04-29 Paper Specification of nonmonotonic reasoning...10 bytes (16 words) - 03:35, 25 September 2023
- non-monotonic description logic for reasoning about typicality 2013-08-26 Paper A Minimal Model Semantics for Nonmonotonic Reasoning 2012-09-21 Paper A Conditional...10 bytes (17 words) - 14:35, 11 December 2023
- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning 2008-01-04 Paper Automated Reasoning with Analytic Tableaux and Related Methods 2006-07-07...10 bytes (18 words) - 14:35, 11 December 2023
- and Nonmonotonic Reasoning 2007-11-07 Paper A generalization of the Lin-Zhao theorem 2006-12-20 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23...10 bytes (16 words) - 06:18, 7 October 2023
- 2008-05-27 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper...10 bytes (18 words) - 11:22, 7 October 2023
- in Planning 2008-03-11 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Reasoning and planning with sensing actions, incomplete information...10 bytes (18 words) - 03:40, 7 October 2023
- 2007-12-10 Paper A causal approach to nonmonotonic reasoning 2006-02-07 Paper Explanatory Nonmonotonic Reasoning 2005-05-03 Paper Collective Argumentation...10 bytes (16 words) - 22:25, 24 September 2023
- Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning...10 bytes (17 words) - 14:24, 10 December 2023
- 2008-01-04 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Characterizing Pawlak’s...10 bytes (18 words) - 17:38, 11 December 2023
- entail? 1994-09-05 Paper Nonmonotonic reasoning: From finitary relations to infinitary inference operations 1994-06-19 Paper Nonmonotonic inference operations...10 bytes (18 words) - 00:36, 9 December 2023
- calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics 2005-05-20 Paper Embedding modal nonmonotonic logics into default...10 bytes (18 words) - 18:41, 11 December 2023
- Compliance by Reasoning about Actions 2010-08-24 Paper Knowledge Representation and Non-monotonic Reasoning 2010-07-20 Paper Automated Reasoning with Analytic...10 bytes (17 words) - 14:35, 11 December 2023
- 2008-10-30 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper The refinement extension...10 bytes (19 words) - 14:35, 12 December 2023
- 2007-11-13 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Causes and explanations...10 bytes (17 words) - 12:36, 8 December 2023
- 2008-03-27 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Planning as satisfiability:...10 bytes (18 words) - 03:24, 9 December 2023
- with Temporal Constraints 2007-11-13 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Answer set based design of knowledge systems 2006-12-20...10 bytes (17 words) - 15:33, 8 December 2023
- Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning...10 bytes (18 words) - 02:44, 9 December 2023
- specification of nonmonotonic reasoning 2019-10-08 Paper Specification of nonmonotonic reasoning 2019-04-29 Paper Nonmonotonic reasoning with multiple belief...10 bytes (17 words) - 06:38, 9 December 2023
- and Quantitative Approaches to Reasoning with Uncertainty 2006-06-23 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper Probabilistic...10 bytes (16 words) - 21:55, 11 December 2023
- to fuzzy similarity-based reasoning: an overview 2009-07-27 Paper On implicative closure operators in approximate reasoning. 2003-08-17 Paper Graded similarity-based...10 bytes (18 words) - 21:19, 8 December 2023