Publication:2723426

zbMath0963.68538MaRDI QIDQ2723426

Enrico Giunchiglia, Armando Tacchella

Publication date: 5 July 2001

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B25: Decidability of theories and sets of sentences

Related Items

SAT-based planning in complex domains: Concurrency, constraints and nondeterminism

Uses Software

• SATO