Funder
EU
Ripartizione Diritto allo Studio, Università e Ricerca Scientifica
Australian Research Council
Australian Academy of Science
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference107 articles.
1. Deterministic generators and games for LTL fragments;Alur;ACM Trans. Comput. Log.,2004
2. The AIPS'00 planning competition;Bacchus;AI Mag.,2001
3. Using temporal logics to express search control knowledge for planning;Bacchus;Artif. Intell.,2000
4. Complexity results for SAS+ planning;Bäckström;Comput. Intell.,1995
5. Exploiting procedural domain control knowledge in state-of-the-art planners;Baier,2007
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Goal-Oriented End-User Programming of Robots;Proceedings of the 2024 ACM/IEEE International Conference on Human-Robot Interaction;2024-03-11
2. Guidelines for a Human-Robot Interaction Specification Language;2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN);2023-08-28
3. Knowledge-based programs as building blocks for planning;Artificial Intelligence;2022-02
4. Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers;Practical Aspects of Declarative Languages;2022
5. Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming;Theory and Practice of Logic Programming;2021-09