A formal theory of justifications

DOI10.1007/978-3-319-23264-5_22zbMATH Open1467.68170OpenAlexW2408502454MaRDI QIDQ3449209FDOQ3449209

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (14)

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

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)