Founded world views with autoepistemic equilibrium logic

DOI10.1007/978-3-030-20528-7_11OpenAlexW2915453592MaRDI QIDQ2326721

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

Publication date: 10 October 2019

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

Mathematics Subject Classification ID

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

Related Items (7)

Thirty years of Epistemic Specifications ⋮ Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting ⋮ About Epistemic Negation and World Views in Epistemic Logic Programs ⋮ Revisiting Explicit Negation in Answer Set Programming ⋮ eclingo : A Solver for Epistemic Logic Programs ⋮ Splitting Epistemic Logic Programs ⋮ Autoepistemic equilibrium logic and epistemic specifications

This page was built for publication: Founded world views with autoepistemic equilibrium logic