Epistemic logic programs: a different world view

MaRDI QIDQ5020544zbMATH OpenFDO

Authors Michael Morak

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/1909.08233, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2019.11

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• On uniform equivalence of epistemic logic programs
• Epistemic logic programs: a study of some properties
• About epistemic negation and world views in epistemic logic programs
• Epistemic answer set programming

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• Characterising equilibrium logic and nested logic programs: Reductions and complexity,
• Discovering classes of strongly equivalent logic programs
• Evaluating epistemic negation in answer set programming
• Logic Programming and Nonmonotonic Reasoning
• Logic programming and reasoning with incomplete information
• Minimal Logic Programs
• Model-based recasting in answer-set programming
• Nested expressions in logic programs
• New semantics for epistemic specifications
• On the computational cost of disjunctive logic programming: Propositional case
• On uniform equivalence of epistemic logic programs
• Revisiting Epistemic Specifications
• Strong equivalence made easy: nested expressions and weight constraints
• Strongly equivalent logic programs
• The language of epistemic specifications (refined) including a prototype solver

Cited in

(4)

• Epistemic logic programs: a study of some properties
• Utilizing treewidth for quantitative reasoning on epistemic logic programs
• Logics for epistemic programs
• Autoepistemic equilibrium logic and epistemic specifications

Describes a project that uses

Uses Software

• selp

This page was built for publication: Epistemic logic programs: a different world view

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