scientific article; zbMATH DE number 5887274

DOI10.3233/978-1-60750-606-5-471MaRDI QIDQ2999180zbMATH OpenFDO

Authors Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci

Publication date 11 May 2011

Full work available at URL https://doi.org/10.3233/978-1-60750-606-5-471

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Planning and execution with flexible timelines: a formal account
• Complexity of qualitative timeline-based planning
• scientific article; zbMATH DE number 4174360
• scientific article; zbMATH DE number 5666460
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• scientific article; zbMATH DE number 140366
• scientific article; zbMATH DE number 1536550
• KI 2005: Advances in Artificial Intelligence

Cited in

(9)

• Complexity issues for timeline-based planning over dense time under future and minimal semantics
• On timeline-based games and their complexity
• Flexible plan verification: feasibility results
• Planning and execution with flexible timelines: a formal account
• Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification
• Lifted heuristics for timeline-based planning
• A game-theoretic approach to timeline-based planning with uncertainty
• Controller synthesis for timeline-based games
• Controller synthesis for timeline-based games

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2999180)