Splitting Epistemic Logic Programs

DOI10.1017/S1471068420000058OpenAlexW2904621793MaRDI QIDQ4957221

Pedro Cabalar, Luis Fariñas del Cerro, Jorge Fandinno

Publication date: 3 September 2021

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

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

zbMATH Keywords

theoryknowledge representation and nonmonotonic reasoninglogic programming methodology and applications

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Thirty years of Epistemic Specifications ⋮ Epistemic logic programs: a study of some properties

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
• Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3--7, 2019. Proceedings
• Revisiting Epistemic Specifications
• New Semantics for Epistemic Specifications
• The language of epistemic specifications (refined) including a prototype solver
• Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: Splitting Epistemic Logic Programs