THE NONDETERMINISTIC SITUATION CALCULUS

von Giacomo, Giuseppe De
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (18. : 2021 : Online) 18th International Conference Principles of Knowledge Representation and Reasoning (KR2021) (2022)

Cognitive robotics : papers from the AAAI fall symposium ; October 23 - 25, Orlando, Florida

Veröffentlicht 1998

SYNTHESIS WITH MANDATORY STOP ACTIONS

von Giacomo, Giuseppe De
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (18. : 2021 : Online) 18th International Conference Principles of Knowledge Representation and Reasoning (KR2021) (2022)

TIMED TRACE ALIGNMENT WITH METRIC TEMPORAL LOGIC OVER FINITE TRACES

von Giacomo, Giuseppe De
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (18. : 2021 : Online) 18th International Conference Principles of Knowledge Representation and Reasoning (KR2021) (2022)

GOAL FORMATION THROUGH INTERACTION IN THE SITUATION CALCULUS: A FORMAL ACCOUNT GROUNDED IN BEHAVIORAL SCIENCE

von Giacomo, Giuseppe De
Veröffentlicht in AAMAS (19. : 2020 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) ; Volume 1 of 3 (2021)

COMPOSITIONAL APPROACH TO TRANSLATE LTLF/LDLF INTO DETERMINISTIC FINITE AUTOMATA

von Giacomo, Giuseppe De
Veröffentlicht in International Conference on Automated Planning and Scheduling (31. : 2021 : Online) Thirty-first International Conference on Automated Planning and Scheduling (ICAPS 2021) (2021)

Reactive Synthesis of Dominant Strategies

von Aminof, Benjamin
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2 (2023)

Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains

von Aminof, Benjamin
Veröffentlicht in ICAPS Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (2020)

NONDETERMINISTIC STRATEGIES AND THEIR REFINEMENT IN STRATEGY LOGIC

von Giacomo, Giuseppe De
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)

Automata Cascades: Expressivity and Sample Complexity

von Ronca, Alessandro
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 8, part 1 of 2 (2023)

Planning under LTL Environment Specifications

von Aminof, Benjamin
Veröffentlicht in International Conference on Automated Planning and Scheduling (29. : 2019 : Berkeley, Calif.) Proceedings of the Twenty-ninth International Conference on Automated Planning and Scheduling (2019)

Imitation Learning over Heterogeneous Agents with Restraining Bolts

von Giacomo, Giuseppe De
Veröffentlicht in ICAPS Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (2020)

Synthesis under Assumptions

von Aminof, Benjamin
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (16. : 2018 : Tempe, Ariz.) Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (2018)

Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLFf Restraining Specifications

von Giacomo, Giuseppe De
Veröffentlicht in International Conference on Automated Planning and Scheduling (29. : 2019 : Berkeley, Calif.) Proceedings of the Twenty-ninth International Conference on Automated Planning and Scheduling (2019)

TEMPORAL LOGIC MONITORING REWARDS VIA TRANSDUCERS

von Giacomo, Giuseppe De
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 2 of 2 (2021)

HIGH-LEVEL PROGRAMMING VIA GENERALIZED PLANNING AND LTL SYNTHESIS

von Bonet, Blai
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)

TWO-STAGE TECHNIQUE FOR LTLF SYNTHESIS UNDER LTL ASSUMPTIONS

von Giacomo, Giuseppe De
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)

Towards ILP-Based LTLs Passive Learning

von lelo, Antonio
Veröffentlicht in ILP (32. : 2023 : Bari) Inductive logic programming (2023)

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic

von Bonassi, Luigi
Veröffentlicht in International Conference on Automated Planning and Scheduling (33. : 2023 : Prag) Thirty-third International Conference on Automated Planning and Scheduling (ICAPS 2023) (2023)