CATALOGO DEI PRODOTTI DELLA RICERCA
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishThe 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.
| Titolo: | 21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014 |
| Autori: | |
| Data di pubblicazione: | 2014 |
| 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. |
| Handle: | http://hdl.handle.net/11562/874784 |
| ISBN: | 9781479942275 |
| Appare nelle tipologie: | 06.01 Curatela |
File in questo prodotto:
Copyright © 2021