Declarative reasoning on explanations using constraint logic programming

DOI10.1007/978-3-031-43619-2_10MaRDI QIDQ6545527

Laura State, Salvatore Ruggieri, Franco Turini

Publication date: 29 May 2024

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Using model trees for classification
• An ASP-based approach to counterfactual explanations for classification
• Explanation in artificial intelligence: insights from the social sciences
• SWI-Prolog
• Computing convex hulls with a linear solver
• Inductive Logic Programming At 30: A New Introduction
• Embedding Decision Trees and Random Forests in Constraint Programming
• Optimal classification trees
• Fifty Years of Prolog and Beyond

This page was built for publication: Declarative reasoning on explanations using constraint logic programming