Search results
From MaRDI portal
- Solver for Epistemic Logic Programs 2020-12-13 Paper https://portal.mardi4nfdi.de/entity/Q5116396 2020-08-25 Paper Founded (Auto)Epistemic Equilibrium...10 bytes (16 words) - 12:21, 28 January 2024
- Dynamic Epistemic Logic and Knowledge Puzzles 2009-03-06 Paper A Temporal Logic of Normative Systems 2009-02-05 Paper Dynamic epistemic logic 2008-11-07...10 bytes (21 words) - 12:12, 11 December 2023
- justification logic 2020-04-29 Paper Probabilistic consensus of the blockchain protocol 2020-02-20 Paper A temporal epistemic logic with a non-rigid set of...10 bytes (16 words) - 12:12, 11 December 2023
- assumption-based and abstract argumentation 2017-10-04 Paper From logic programming and non-monotonic reasoning to computational argumentation and beyond 2017-09-05...10 bytes (17 words) - 23:17, 9 December 2023
- 1999-06-20 Paper Executable temporal logic for non-monotonic reasoning 1998-06-23 Paper Minimal temporal epistemic logic 1997-06-26 Paper Temporal theories...10 bytes (16 words) - 03:35, 25 September 2023
- Abduction over 3-valued extended logic programs 2022-08-30 Paper Strong and explicit negation in non-monotonic reasoning and logic programming 2019-10-08 Paper...10 bytes (18 words) - 20:59, 11 December 2023
- Paper Planning with preferences using logic programming 2006-08-28 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Sequential...10 bytes (16 words) - 07:46, 9 December 2023
- revision and the logic of Ramsey test conditionals 2016-09-15 Paper Blockage revision 2016-07-04 Paper The co-occurrence test for non-monotonic inference 2016-03-08...10 bytes (19 words) - 23:17, 9 December 2023
- negation-complete interactive proofs (formal theory of epistemic deciders) 2016-04-26 Paper Logic of Non-monotonic Interactive Proofs 2015-01-06 Paper Computer-aided decision-making...10 bytes (16 words) - 18:28, 6 October 2023
- Justifications for Logic Programs Under Answer Set Semantics 2008-03-11 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming...10 bytes (18 words) - 02:44, 9 December 2023
- Paper Temporalizing epistemic default logic 1999-09-29 Paper An interpretation of default logic in minimal temporal epistemic logic 1999-09-29 Paper Nonmonotonic...10 bytes (17 words) - 06:38, 9 December 2023
- Date of Publication Type Geodesic merging 2021-01-18 Paper Epistemic Conditionals and the Logic of Subsets 2020-07-27 Paper Ordering-based representations...10 bytes (16 words) - 15:55, 24 September 2023
- stable models of non-stratified logic programs 2007-03-08 Paper Normal forms for answer sets programming 2006-01-03 Paper Computational Logic in Multi-Agent...10 bytes (17 words) - 12:24, 24 September 2023
- 2023-09-20 Paper Morpho-logic from a topos perspective -- application to symbolic AI 2023-09-04 Paper On manipulation in merging epistemic states 2023-06-20...10 bytes (18 words) - 06:19, 12 December 2023
- Publication Date of Publication Type Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks 2023-06-19 Paper New weak...10 bytes (16 words) - 22:50, 24 September 2023
- defeasible conditionals and non-monotonic inference for abstract dialectical frameworks 2023-06-19 Paper Belief in Attacks in Epistemic Probabilistic Argumentation...10 bytes (16 words) - 15:16, 6 October 2023
- 2005-06-01 Paper Game logic -- an overview 2004-03-15 Paper Relevance Sensitive Non-Monotonic Inference on Belief Sequences 2004-01-11 Paper A knowledge based...10 bytes (17 words) - 09:04, 25 September 2023
- description logics via tableaux 2008-09-10 Paper Probabilistic object bases 2008-06-18 Paper $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs...10 bytes (17 words) - 12:36, 8 December 2023
- Probability logic for type spaces 2001-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4955427 2000-12-26 Paper Common belief in monotonic epistemic logic 2000-01-11...10 bytes (16 words) - 21:38, 24 September 2023
- Paper eclingo : A Solver for Epistemic Logic Programs 2020-12-13 Paper Temporal logic programs with temporal description logic axioms 2020-06-04 Paper Lower...10 bytes (18 words) - 20:59, 11 December 2023