scientific article; zbMATH DE number 1302385
From MaRDI portal
Publication:4247687
zbMath0927.03049MaRDI QIDQ4247687
Marta Cialdea Mayer, Serenella Cerrito
Publication date: 13 December 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
propositional linear temporal logicplan synthesisanalytic tableauxplan searchbounded model searchplanning as satisfiability approachspecification language for planning problemsTabplan
Logic in artificial intelligence (68T27) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)
Related Items (3)
An approach to infinitary temporal proof theory ⋮ Linear temporal logic as an executable semantics for planning languages ⋮ Taming the Complexity of Temporal Epistemic Reasoning
This page was built for publication:
