Reasoning about action in polynomial time

DOI10.1016/S0004-3702(99)00065-XzbMath0939.68734MaRDI QIDQ1978466

M. Bjäreland, Thomas Drakengren

Publication date: 4 June 2000

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

zbMATH Keywords

computational complexitytemporal logiclogicreasoning about action

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Related Items (3)

Reasoning about action in polynomial time ⋮ An initial study of time complexity in infinite-domain constraint satisfaction ⋮ Point algebras for temporal reasoning: Algorithms and complexity

Cites Work

• Reasoning about action in polynomial time
• Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning
• Unnamed Item
• Unnamed Item

This page was built for publication: Reasoning about action in polynomial time