Filtry
Universal and Uniform Action Reversibility
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On the Reversibility of Actions in Planning
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On Eventual Applicability of Plans in Dynamic Environments with Cyclic Phenomena
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Correcting Hierarchical Plans by Action Deletion
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Decidability and Complexity of Some Finitely-valued Dynamic Logics
Pure mathematics
- 2021 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Determining Action Reversibility in STRIPS Using Answer Set Programming
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Handling non-local dead-ends in Agent Planning Programs
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 z 84 878