Stable reasoning, ASP and the interrogative model of inquiry

DOI10.1007/978-3-031-97879-1_16MaRDI QIDQ7296096zbMATH OpenFDO

Authors David Pearce, A. Valverde

Publication date 14 July 2026

Full work available at URL https://doi.org/10.1007/978-3-031-97879-1_16

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Cites work

• From here to there: Stable negation in logic programming
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 7455713 (Why is no real title available?)
• Quantified Equilibrium Logic and Foundations for Answer Set Programs

This page was built for publication: Stable reasoning, ASP and the interrogative model of inquiry

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