Вы здесь

Главная

темпоральный

Связанные издания:

Object and Log Management in Temporal Log-Only Object Database Systems
On a Decidability Border for Temporal Logics on Petri Nets
On Completeness of Historical Relational Query Languages
On Computing the Minimal Labels in Time Point Algebra Networks
On Indexing Spatial and Temporal Data
On Point-Based Temporal Disjointness
On Saturated Calculi for a Linear Temporal Logic
On Stubborn Sets in the Verification of Linear Time Temporal Properties
On Temporal Modeling in the Context of Object Databases
On the Completeness of Temporal Database Query Languages
On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics
On-the-fly Verification of Linear Temporal Logic
On the Ontological Expressiveness of Temporal Extensions to the Entity-Relationship Model
On the Saturation Principle for a Linear Temporal Logic
On the Semantics of (Bi)Temporal Variable Databases
On Transaction Management in Temporal Databases
On Warehousing Historical Web Information
O-O Requirements Analysis: An Agent Perspective
Optimal Block Size for Set-Valued Attributes
Optimality in Abstractions of Model Checking
Parametric Databases: Seamless Integration of Spatial, Temporal, Believ and Ordinary Data
Partial-Order Methods for Temporal Verification
Performance of Temporal Reasoning Systems
Plans Simulation Using Terminal Logics
Point-Based Temporal Extensions of SGL and Their Efficient Implementation
Pointwise Temporal Object Database Browsing
Predicates, Temporal Logic, and Simulations
Projection in Temporal Logic Programming
Propositional Linear Temporal Logic and Language Homomorphisms
Propositional Temporal Logics and their Use in Model Checking
Proving Automated Support to Deductive Analysis of Time Critical Systems
Proving Possibility Properties
Qualitative and Quantitative Temporal Constraints and Relational Databases: Theory, Architecture, and Applications
Querying Datalog Programs with Temporal Logic
Querying the Uncertain Position of Moving Objects
Querying TSQL2 Databases with Temporal Logic
Realizing a Temporal Complex-Object Data Model
Real-Time Systems: A Survey of Approaches to Formal Specification and Verification
Reasoning about Durations in Metric Temporal Logic
Reasoning under Uncertainly with Temporal Aspects
Reasoning Web: Declarative Artificial Intelligence: Tutorial Lectures/17th International Summer School 2021, Leuven, Belgium, September 2021
Reasoning Web. Reasoning on the Web in the Big Data Era: Proc./10th International Summer School 2014, Athens, Greece, September 2014
Representation of Highly-Complex Knowledge in a Database
Representing Temporal Information in UML
Research and Advanced Technology for Digital Libraries: Proc./21st International Conference on Theory and Practice of DL, TPDL 2017, Thessaloniki, Greece, September 2017
Rule-Based Modeling and Computing on the Semantic Web: Proc./5th International Symposium, RuleML 2011-America, Ft.Lauderdale,FL,USA, Novembrt 2011
Rules and Reasoning: Proc./2nd International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 2018
Rules and Reasoning: Proc./International Joint Conference, RuleML+RR 2017, London, UK, July 2017
Sanity Checks in Formal Verification
Saturation Replaces Induction for a Miniscoped Linear Temporal Logic