|
|
TOPICS OF INTEREST
The topics of interest include but are not limited to the following:
| Track1 - Temporal Representation/Reasoning in AI and Linguistics
|
|
temporal aspects of agent-based systems, temporal constraint reasoning, reasoning about actions and change, temporal languages for planning, temporal languages and architectures, ontologies of time and space-time, spatio-temporal reasoning, expressive power versus tractability, belief and uncertainty in temporal knowledge, time and nonmonotonic reasoning, interval temporal logics, time and temporality in natural language processing.
|
| Track 2 - Time Management in Databases
|
|
temporal data models, temporal database design, temporal query languages, indexing of temporal data, temporal database systems, spatio-temporal databases, constraint databases, temporal data mining, temporal data privacy & security, time in multimedia databases, time in web applications, time in federated and heterogeneous systems, time in workflow systems, querying time series databases, querying data streams.
|
| Track 3 - Temporal Logic in Computer Science
|
|
temporal specification, synthesis, and verification of systems, model checking of temporal logics, verification of infinite-state systems, temporal logics for distributed systems, expressiveness of temporal languages, decidability and complexity of temporal logics, logics of knowledge and time, metric and real-time logics and timed automata, temporal logics and concurrency, temporal issues in security, tools and practical systems.
|
The symposium welcomes new directions in time research and topics that are currently underrepresented in the symposium.
|