Logics in Artificial Intelligence
From MaRDI portal
Publication:5394111
DOI10.1007/b100483zbMath1111.68674MaRDI QIDQ5394111
Francesca Toni, Fariba Sadri, Ulle Endriss, Paolo Mancarella, Giacomo Terreni
Publication date: 25 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100483
Related Items
Integration of Abductive Reasoning and Constraint Optimization in SCIFF, Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results, ABox abduction in the description logic \(\mathcal{ALC}\), Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules