Lower bound founded logic of here-and-there

DOI10.1007/978-3-030-19570-0_34MaRDI QIDQ2296740zbMATH OpenOpenAlexFDO

Authors Pedro Cabalar, Torsten Schaub, Sebastian Schellhorn, Jorge Fandinno

Publication date 18 February 2020

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Here and there among logics for logic programming
• A new logical characterisation of stable models and answer sets
• scientific article; zbMATH DE number 5910656
• Interpolable formulas in equilibrium logic and answer set programming
• Stable model semantics for founded bounds

Cited in

(1)

• Autoepistemic answer set programming

This page was built for publication: Lower bound founded logic of here-and-there

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