Sciweavers

168 search results - page 5 / 34
» Temporal Logic with Capacity Constraints
Sort
View
CORR
2010
Springer
70views Education» more  CORR 2010»
13 years 8 months ago
Bounded Reachability for Temporal Logic over Constraint Systems
Marcello M. Bersani, Achille Frigeri, Angelo Morze...
FROCOS
2011
Springer
12 years 9 months ago
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...