Výsledky vyhledávání - "Scheck, Sergej"

Akademický článek

A knowledge compilation perspective on queries and transformations for belief tracking.

Autor: Niveau, Alexandre, Palacios, Hector, Scheck, Sergej, Zanuttini, Bruno

Publikováno v: Annals of Mathematics & Artificial Intelligence; Oct2024, Vol. 92 Issue 5, p1113-1159, 47p

A KC Map for Variants of Nondeterministic PDDL

Autor: Scheck, Sergej, Niveau, Alexandre, Zanuttini, Bruno

We study different languages for representing nondeterministic actions in planning from the point of view of knowledge compilation. Precisely, we consider succinctness issues (how succinct is the description of an action in each language?), and compl

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______166::0ac0545516008c7b2a35d231d9fd7c6f
https://hal.archives-ouvertes.fr/hal-03658932

Zobrazit plný text záznamu

Explicit Representations of Persistency for Propositional Action Theories

Autor: Scheck, Sergej, Niveau, Alexandre, Zanuttini, Bruno

Publikováno v: Journées Francophones Francophones Planification, Décision et Apprentissage
Journées Francophones Francophones Planification, Décision et Apprentissage, Jun 2021, Bordeaux, France

We consider enriching the representation of actions in propositional logic by syntactic operators for representing the persistency of variables. This is motivated by the fact that the frame problem is not satisfactorily solved by propositional langua

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::faec6d6eae727e4a956e5e78dad4ebdc
https://hal.archives-ouvertes.fr/hal-03249121

Zobrazit plný text záznamu

Knowledge Compilation for Action Languages

Autor: Scheck, Sergej, Niveau, Alexandre, Zanuttini, Bruno

Publikováno v: actes_JFPDA_CH_PFIA2020
Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JFPDA 2019)
Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JFPDA 2019), Jul 2020, Angers, France

We study different languages for representing nondeterministic actions in automated planning from the point of view of knowledge compilation. Precisely, we consider succintness issues (how succinct is the description of an action in each language?) a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7a09fa37117e0a065ace026f57b09f7e
https://hal.archives-ouvertes.fr/hal-02942877

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání