A terminological interpretation of (abductive) logic programming

DOI10.1007/3-540-59487-6_2zbMath1496.68331OpenAlexW1583630875MaRDI QIDQ5101438

Marc Denecker

Publication date: 30 August 2022

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/125017

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Cites Work

• A logic-based calculus of events
• On the Relationship Between Abduction and Deduction
• Reconciling the event calculus with the situation calculus
• Representing Incomplete Knowledge in Abductive Logic Programming
• CHICA, An Abductive Planning System Based on Event Calculus
• Abductive Logic Programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A terminological interpretation of (abductive) logic programming