Constraint-Based Algorithm for Computing Temporal Invariants

DOI10.1007/978-3-319-11558-0_50zbMath1432.68419OpenAlexW643863548MaRDI QIDQ2938537

Jussi Rintanen

Publication date: 14 January 2015

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11558-0_50

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Temporal logic (03B44)

Related Items (2)

Extracting mutual exclusion invariants from lifted temporal planning domains ⋮ Discovering state constraints for planning with conditional effects in \textsc{Discoplan}. I

Cites Work

• Unnamed Item

This page was built for publication: Constraint-Based Algorithm for Computing Temporal Invariants