Show simple item record

Efficient Semantic Tableau Generation for Abduction in Propositional Logic

hal.structure.identifierLaboratoire Traitement et Communication de l'Information [LTCI]
dc.contributor.authorYang, Yifan
hal.structure.identifierLaboratoire Traitement et Communication de l'Information [LTCI]
dc.contributor.authorDe Aldama, Ricardo
hal.structure.identifierLaboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
dc.contributor.authorAtif, Jamal
HAL ID: 15689
hal.structure.identifierLaboratoire Traitement et Communication de l'Information [LTCI]
dc.contributor.authorBloch, Isabelle
HAL ID: 175825
ORCID: 0000-0002-6984-1532
dc.date.accessioned2017-01-18T13:47:20Z
dc.date.available2017-01-18T13:47:20Z
dc.date.issued2016
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/16190
dc.descriptionin Frontiers in Artificial Intelligence and Applications, vol. 285en
dc.language.isoenen
dc.subjectabductive reasoningen
dc.subjectefficient semantic tableauen
dc.subject.ddc006.3en
dc.titleEfficient Semantic Tableau Generation for Abduction in Propositional Logicen
dc.typeCommunication / Conférence
dc.description.abstractenAbduction 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.en
dc.identifier.citationpages1756-1757en
dc.relation.ispartoftitleECAI 16en
dc.relation.ispartofeditorA. Kaminka, Gal
dc.relation.ispartofeditorFox, Maria
dc.relation.ispartofeditorBouquet, Paolo
dc.relation.ispartofeditorHüllermeier, Eyke
dc.relation.ispartofeditorDignum, Virginia
dc.relation.ispartofeditorDignum, Frank
dc.relation.ispartofeditorVan Harmelen, Frank
dc.relation.ispartofpublnameIOS Press Booksen
dc.relation.ispartofpublcityAmsterdamen
dc.relation.ispartofdate2016
dc.relation.ispartofpages1833en
dc.contributor.countryeditoruniversityotherFRANCE
dc.subject.ddclabelIntelligence artificielleen
dc.relation.ispartofisbn978-1-61499-672-9en
dc.relation.conftitle22nd European Conference on Artificial Intelligence (ECAI 16)en
dc.relation.confdate2016-09
dc.relation.confcityThe Hagueen
dc.relation.confcountryNetherlandsen
dc.relation.forthcomingnonen
dc.identifier.doi10.3233/978-1-61499-672-9-1756en
dc.description.ssrncandidatenonen
dc.description.halcandidateouien
dc.description.readershiprechercheen
dc.description.audienceInternationalen
dc.relation.Isversionofjnlpeerreviewednonen
dc.relation.Isversionofjnlpeerreviewednonen
dc.date.updated2017-01-18T13:26:39Z
hal.identifierhal-01439289*
hal.version1*
hal.author.functionaut
hal.author.functionaut
hal.author.functionaut
hal.author.functionaut


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record