A paraconsistent ASP-like language with tractable model generation

MaRDI QIDQ5869696zbMATH OpenFDO

Authors Andrzej Szałas

Publication date 28 September 2022

Full work available at URL https://arxiv.org/abs/1912.09715

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Answer Set Programming: A Primer
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Backdoors to tractable answer set programming
• Answer set programming
• A multiparametric view on answer set programming

Cited in

(2)

• ASP Based Generation of Information Terms for Constructive ɛℒ
• ASP with non-herbrand partial functions: a language and system for practical use

This page was built for publication: A paraconsistent ASP-like language with tractable model generation

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