10. TIME 2003:
Cairns, Queensland, Australia Invited Lectures
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Gerard Ligozat :
Qualitative spatial and temporal reasoning: exploiting the connections to algebra and topology.
6
export record as
dblp key:
Research Papers
export record as
dblp key:
Bernhard Heinemann :
An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge.
10-16
export record as
dblp key:
Maroua Bouzid :
On-line transportation Scheduling using Spatio-Temporal Reasoning.
17-25
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Amir M. Anvar :
Intelligent Navigation Process for Autonomous Underwater Vehicles (AUVs) Using Time-based Fuzzy Temporal Reasoning.
56-61
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/time/MossakowskiDS03 export record as
dblp key:
conf/time/HodkinsonKKWZ03 export record as
dblp key:
David Toman :
On Incompleteness of Multi-dimensional First-order Temporal Logics.
99-106
export record as
dblp key:
Alexander Bolotov :
A Clausal Resolution Method for Extended Computation Tree Logic ECTL.
107-117
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Tim French :
Quantified Propositional Temporal Logic with Repeating States.
155-165
export record as
dblp key:
conf/time/FranceschetRS03 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/time/FranceschetMPS03 export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
