The proceedings contain 18 papers. The topics discussed include: a tractable generalization of simple temporal networks and its relation to mean payoff games; sound and complete algorithms for checking the dynamic controllability of temporal networks with uncertainty, disjunction and observation; a formal account of planning with flexible timelines; metric propositional neighborhood logic with an equivalence relation; checking interval properties of computations; approximate interval-based temporal dependencies: the complexity landscape; a framework for managing temporal dimensions in archaeological data; lean index structures for snapshot access in transaction-time databases; high-level operations for creation and maintenance of temporal and conventional schema in the tauXSchema framework; summarizability in multiversion data warehouse; fairness with EXPTIME bundled CTL tableau; and partially punctual metric temporal logic is decidable.
21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014
COMBI, Carlo;
2014-01-01
Abstract
The proceedings contain 18 papers. The topics discussed include: a tractable generalization of simple temporal networks and its relation to mean payoff games; sound and complete algorithms for checking the dynamic controllability of temporal networks with uncertainty, disjunction and observation; a formal account of planning with flexible timelines; metric propositional neighborhood logic with an equivalence relation; checking interval properties of computations; approximate interval-based temporal dependencies: the complexity landscape; a framework for managing temporal dimensions in archaeological data; lean index structures for snapshot access in transaction-time databases; high-level operations for creation and maintenance of temporal and conventional schema in the tauXSchema framework; summarizability in multiversion data warehouse; fairness with EXPTIME bundled CTL tableau; and partially punctual metric temporal logic is decidable.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
