Defeasible logic programming in satisfiability modulo CHR

DOI10.1007/978-3-319-24309-2_15MaRDI QIDQ2294079zbMATH OpenOpenAlexFDO

Authors Francesco Santini

Publication date 10 February 2020

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

Mathematics Subject Classification ID

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

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

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)