Thumbnail - Request a copy

Efficient Semantic Tableau Generation for Abduction in Propositional Logic

Yang, Yifan; De Aldama, Ricardo; Atif, Jamal; Bloch, Isabelle (2016), Efficient Semantic Tableau Generation for Abduction in Propositional Logic, in A. Kaminka, Gal; Fox, Maria; Bouquet, Paolo; Hüllermeier, Eyke; Dignum, Virginia; Dignum, Frank; Van Harmelen, Frank, ECAI 16, IOS Press Books : Amsterdam, p. 1756-1757. 10.3233/978-1-61499-672-9-1756

Type
Communication / Conférence
Date
2016
Conference title
22nd European Conference on Artificial Intelligence (ECAI 16)
Conference date
2016-09
Conference city
The Hague
Conference country
Netherlands
Book title
ECAI 16
Book author
A. Kaminka, Gal; Fox, Maria; Bouquet, Paolo; Hüllermeier, Eyke; Dignum, Virginia; Dignum, Frank; Van Harmelen, Frank
Publisher
IOS Press Books
Published in
Amsterdam
ISBN
978-1-61499-672-9
Number of pages
1833
Pages
1756-1757
Publication identifier
Metadata
Show full item record
Author(s)
Yang, Yifan
Laboratoire Traitement et Communication de l'Information [LTCI]
De Aldama, Ricardo
Laboratoire Traitement et Communication de l'Information [LTCI]
Atif, Jamal
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Bloch, Isabelle cc
Laboratoire Traitement et Communication de l'Information [LTCI]
Abstract (EN)
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.
Subjects / Keywords
abductive reasoning; efficient semantic tableau