On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F23%3A10473558" target="_blank" >RIV/00216208:11320/23:10473558 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1109/ICTAI59109.2023.00057" target="_blank" >https://doi.org/10.1109/ICTAI59109.2023.00057</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/ICTAI59109.2023.00057" target="_blank" >10.1109/ICTAI59109.2023.00057</a>

Jazyk výsledku

angličtina

Název v původním jazyce

On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods

Popis výsledku v původním jazyce

There are multiple formalisms describing hierarchical planning domain models, however many of them do not show semantics of some features such as empty decomposition methods and extensive constraints. In this short paper we describe thesemantics of a hierarchical domain model with these extensive constraints and show how empty decomposition methods would work within it. We also compare this model with other models and present some transformations of model properties.

Název v anglickém jazyce

On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods

Popis výsledku anglicky

There are multiple formalisms describing hierarchical planning domain models, however many of them do not show semantics of some features such as empty decomposition methods and extensive constraints. In this short paper we describe thesemantics of a hierarchical domain model with these extensive constraints and show how empty decomposition methods would work within it. We also compare this model with other models and present some transformations of model properties.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of The 35th International Conference on Tools with Artificial Intelligence

ISBN

979-8-3503-4274-1

ISSN

—

e-ISSN

—

Počet stran výsledku

5

Strana od-do

349-353

Název nakladatele

IEEE

Místo vydání

USA

Místo konání akce

Atlanta, Georgia, USA

Datum konání akce

6. 11. 2023

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—