Seeking explanations: abduction in logic, philosophy of science and artificial intelligence

Adapting Tableaux for Classification (Short Paper)

EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management

Preferences and explanations

Artificial Intelligence

Mental State Abduction of BDI-Based Agents

Declarative Agent Languages and Technologies VI

Using Abduction to Compute Efficient Proofs

Electronic Notes in Theoretical Computer Science (ENTCS)

The ciff proof procedure for abductive logic programming with constraints: Theory, implementation and experiments

Theory and Practice of Logic Programming

Better science through art

Proceedings of the ACM international conference on Object oriented programming systems languages and applications

ABox Abduction in the Description Logic $\boldsymbol{\mathcal{ALC}}$

Journal of Automated Reasoning

An analytic tableau system for natural logic

Proceedings of the 17th Amsterdam colloquium conference on Logic, language and meaning

Programming mental state abduction

The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1

The definability abduction problem for data exchange

RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems

Getting unique solution in data exchange

Proceedings of the VLDB Endowment