Explicit negation in linear-dynamic equilibrium logic

DOI10.3233/FAIA200140MaRDI QIDQ4999252zbMATH OpenFDO

Authors Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Pérez, Concepción Vidal

Publication date 6 July 2021

Full work available at URL https://doi.org/10.3233/FAIA200140

Mathematics Subject Classification ID

Temporal logic (03B44) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Temporal Equilibrium Logic: A First Approach
• Combining equilibrium logic and dynamic logic
• A normal form for linear temporal equilibrium logic
• Temporal equilibrium logic: a survey
• Revisiting explicit negation in answer set programming

Cited in

(3)

• Temporal Equilibrium Logic: A First Approach
• Revisiting explicit negation in answer set programming
• Linear-time temporal answer set programming

This page was built for publication: Explicit negation in linear-dynamic equilibrium logic

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