Efficient Semantic Tableau Generation for Abduction in Propositional Logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Efficient Semantic Tableau Generation for Abduction in Propositional Logic

Résumé

Abduction is a backward chaining inference, finding the best explanations of an observation with regard to a knowledge base in a two-steps process: i) hypotheses generation, and ii) explanations selection according to a minimality criterion.
Fichier non déposé

Dates et versions

hal-01439289 , version 1 (18-01-2017)

Identifiants

Citer

Yifan Yang, Ricardo de Aldama, Jamal Atif, Isabelle Bloch. Efficient Semantic Tableau Generation for Abduction in Propositional Logic. 22nd European Conference on Artificial Intelligence (ECAI 16), Sep 2016, The Hague, Netherlands. pp.1756-1757, ⟨10.3233/978-1-61499-672-9-1756⟩. ⟨hal-01439289⟩
146 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More