A formal theory of justifications

DOI10.1007/978-3-319-23264-5_22MaRDI QIDQ3449209zbMATH OpenOpenAlexFDO

Authors Marc Denecker, Gerhard Brewka, 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)

Recommendations

• The ontology of justifications in the logical setting
• Logics of proofs and justifications
• Exploiting Game Theory for Analysing Justifications
• Reasoning with Justifications
• The logic of uncertain justifications

Cites work

• \(FO(FD)\): extending classical logic with rule-based fixpoint definitions
• A Constructive semantic characterization of aggregates in answer set programming
• An abstract, argumentation-theoretic approach to default reasoning
• Approximating operators and semantics for abstract dialectical frameworks
• Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
• Causal graph justifications of logic programs
• Coinductive Logic Programming and Its Applications
• Conflict-driven answer set solving: from theory to practice
• Fixpoint semantics for logic programming a survey
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 3349291 (Why is no real title available?)
• Justifications for logic programming
• Justifications for logic programs under answer set semantics
• Nested expressions in logic programs
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• Partial inductive definitions
• Results on the propositional \(\mu\)-calculus
• SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
• The Semantics of Predicate Logic as a Programming Language
• Ultimate approximation and its application in nonmonotonic knowledge representation systems
• Well-founded and stable semantics of logic programs with aggregates

Cited in

(14)

• EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface
• A formal framework for deliberated judgment
• Justifications for programs with disjunctive and causal-choice rules
• Deriving conclusions from non-monotonic cause-effect relations
• On degrees of justification
• A LOGIC OF JUSTIFICATION AND TRUTHMAKING
• On Nested Justification Systems
• Exploiting Game Theory for Analysing Justifications
• Answering the ``why in answer set programming -- a survey of explanation approaches
• Witnesses for Answer Sets of Logic Programs
• Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics
• Tree-like justification systems are consistent
• An inferential theory of causal reasoning
• Embedding justification theory in approximation fixpoint theory

This page was built for publication: A formal theory of justifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3449209)