Splitting epistemic logic programs

DOI10.1007/978-3-030-20528-7_10OpenAlexW2963311843MaRDI QIDQ2326719

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

Publication date: 10 October 2019

Full work available at URL: https://oatao.univ-toulouse.fr/24815/1/cabalar_24815.pdf

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (8)

Thirty years of Epistemic Specifications ⋮ Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting ⋮ About Epistemic Negation and World Views in Epistemic Logic Programs ⋮ Epistemic logic programs: a study of some properties ⋮ eclingo : A Solver for Epistemic Logic Programs ⋮ Splitting Epistemic Logic Programs ⋮ Autoepistemic equilibrium logic and epistemic specifications ⋮ Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs

This page was built for publication: Splitting epistemic logic programs