Lower bound founded logic of here-and-there

DOI10.1007/978-3-030-19570-0_34OpenAlexW4288358824MaRDI QIDQ2296740FDOQ2296740

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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)