Defeasible logic programming in satisfiability modulo CHR

DOI10.1007/978-3-319-24309-2_15zbMATH Open1430.68316OpenAlexW2256199958MaRDI QIDQ2294079FDOQ2294079

Authors: Francesco Santini 

Publication date: 10 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-319-24309-2_15

Recommendations

• Defeasible logic programming: an argumentative approach
• A logic programming framework for possibilistic argumentation: Formalization and logical properties
• Argument graphs for defeasible logic programming
• Complexity of DeLP: current status and moving forward
• Logic Programming and Nonmonotonic Reasoning

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Computational aspects of satisfiability (68R07)

Cited In (1)

• Advancements in resource-driven substructural defeasible logic

This page was built for publication: Defeasible logic programming in satisfiability modulo CHR

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