Linear-time temporal answer set programming

DOI10.1017/S1471068421000557MaRDI QIDQ7027226zbMATH OpenFDO

Authors Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal

Publication date 14 February 2025

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

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

equilibrium logicnonmonotonic reasoninganswer-set programminglinear-time temporal logic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Knowledge representation (68T30) Logic programming (68N17) Temporal logic (03B44)

This page was built for publication: Linear-time temporal answer set programming

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