Show simple item record

hal.structure.identifierLaboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
dc.contributor.authorLang, Jérôme
hal.structure.identifierGroupe de Recherche en Informatique, Image et Instrumentation de Caen [GREYC]
dc.contributor.authorZanuttini, Bruno
dc.date.accessioned2017-03-22T14:40:34Z
dc.date.available2017-03-22T14:40:34Z
dc.date.issued2012
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/16429
dc.descriptionFrontiers in Artificial Intelligence and Applications, vol. 242en
dc.language.isoenen
dc.subjectknowledge representationen
dc.subjectplanningen
dc.subject.ddc006.3en
dc.titleKnowledge-Based Programs as Plans - The Complexity of Plan Verificationen
dc.typeCommunication / Conférence
dc.description.abstractenKnowledge-based programs (KBPs) are high-level protocols describing the course of action an agent should perform as a function of its knowledge. The use of KBPs for expressing action policies in AI planning has been surprisingly underlooked. Given that to each KBP corresponds an equivalent plan and vice versa, KBPs are typically more succinct than standard plans, but imply more online computation time. Here we compare KBPs and standard plans according to succinctness and to the complexity of plan verification.en
dc.identifier.citationpages504-509en
dc.relation.ispartoftitleProceedings of 20th European Conference on Artificial Intelligence (ECAI 2012)en
dc.relation.ispartofeditorDe Raedt, Luc
dc.relation.ispartofeditorBessiere, Christian
dc.relation.ispartofeditorDubois, Didier
dc.relation.ispartofeditorDoherty, Patrick
dc.relation.ispartofeditorFrasconi, Paolo
dc.relation.ispartofeditorHeintz, Fredrik
dc.relation.ispartofeditorLucas, Peter
dc.relation.ispartofpublnameIos Pressen
dc.relation.ispartofpublcityAmsterdamen
dc.relation.ispartofdate2012-08
dc.relation.ispartofpages1056en
dc.subject.ddclabelIntelligence artificielleen
dc.relation.ispartofisbn978-1-61499-097-0en
dc.relation.conftitle20th European Conference on Artificial Intelligence (ECAI 2012)en
dc.relation.confdate2012-08
dc.relation.confcityMontpellieren
dc.relation.confcountryFranceen
dc.relation.forthcomingnonen
dc.identifier.doi10.3233/978-1-61499-098-7-504en
dc.description.ssrncandidatenonen
dc.description.halcandidateouien
dc.description.readershiprechercheen
dc.description.audienceInternationalen
dc.relation.Isversionofjnlpeerreviewednonen
dc.relation.Isversionofjnlpeerreviewednonen
dc.date.updated2017-03-22T13:58:05Z
hal.identifierhal-01494044*
hal.version1*
hal.update.actionupdateFiles*
hal.author.functionaut
hal.author.functionaut


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record