A Formal Theory of Justifications

DOI10.1007/978-3-319-23264-5_22zbMath1467.68170OpenAlexW2408502454MaRDI QIDQ3449209

Gerhard Brewka, Marc Denecker, Hannes Strass

Publication date: 4 November 2015

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_22

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (8)

On Nested Justification Systems ⋮ Witnesses for Answer Sets of Logic Programs ⋮ Justifications for programs with disjunctive and causal-choice rules ⋮ Deriving conclusions from non-monotonic cause-effect relations ⋮ Unnamed Item ⋮ Exploiting Game Theory for Analysing Justifications ⋮ Answering the “why” in answer set programming – A survey of explanation approaches ⋮ EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Approximating operators and semantics for abstract dialectical frameworks
• Ultimate approximation and its application in nonmonotonic knowledge representation systems
• Results on the propositional \(\mu\)-calculus
• Partial inductive definitions
• An abstract, argumentation-theoretic approach to default reasoning
• Fixpoint semantics for logic programming a survey
• Conflict-driven answer set solving: from theory to practice
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Nested expressions in logic programs
• Justifications for Logic Programming
• Causal Graph Justifications of Logic Programs
• Well-founded and stable semantics of logic programs with aggregates
• A Constructive semantic characterization of aggregates in answer set programming
• SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
• FO(FD): Extending classical logic with rule-based fixpoint definitions
• Coinductive Logic Programming and Its Applications
• Justifications for logic programs under answer set semantics
• The Semantics of Predicate Logic as a Programming Language

This page was built for publication: A Formal Theory of Justifications