The following pages link to Logics in Artificial Intelligence (Q5394111):
Displaying 9 items.
- Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results (Q2385448) (← links)
- ABox abduction in the description logic \(\mathcal{ALC}\) (Q2429984) (← links)
- Runtime addition of integrity constraints in an abductive proof procedure (Q2883066) (← links)
- Super-Solutions (Q2946725) (← links)
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules (Q3616884) (← links)
- The IFF proof procedure for abductive logic programming (Q4371992) (← links)
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF (Q5325766) (← links)
- AI*IA 2005: Advances in Artificial Intelligence (Q5475747) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897325) (← links)