Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting

DOI10.1017/S1471068419000127zbMath1434.68557arXiv1907.09247WikidataQ127225959 ScholiaQ127225959MaRDI QIDQ5108495

Jorge Fandinno

Publication date: 4 May 2020

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1907.09247

zbMATH Keywords

answer set programmingepistemic logic programsepistemic specifications

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic programming (68N17)

Related Items (5)

Thirty years of Epistemic Specifications ⋮ eclingo : A Solver for Epistemic Logic Programs ⋮ Splitting Epistemic Logic Programs ⋮ Autoepistemic answer set programming ⋮ Autoepistemic equilibrium logic and epistemic specifications

Cites Work

• Unnamed Item
• Semantical considerations on nonmonotonic logic
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• Splitting epistemic logic programs
• Founded world views with autoepistemic equilibrium logic
• Revisiting Epistemic Specifications
• New Semantics for Epistemic Specifications
• The language of epistemic specifications (refined) including a prototype solver
• The well-founded semantics for general logic programs
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting