scientific article; zbMATH DE number 2207163

zbMath1099.68106MaRDI QIDQ5693201

No author found.

Publication date: 22 September 2005

Full work available at URL: http://www.sciencedirect.com/science/book/9780444514936

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Temporal logic (03B44) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)

Related Items (27)

The problem of coincidence in a theory of temporal multiple recurrence ⋮ Back from the future ⋮ Системы временной логики I: моменты, истории, деревья ⋮ A History of Until ⋮ The token reification approach to temporal reasoning ⋮ Compact and tractable automaton-based representations of time granularities ⋮ Temporal Minimal-World Query Answering over Sparse ABoxes ⋮ Metric dynamic equilibrium logic ⋮ Tense logic based on finite orthomodular posets ⋮ A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form ⋮ A two‐dimensional metric temporal logic ⋮ Metric temporal answer set programming over timed traces ⋮ Ontology-Mediated Query Answering with Data-Tractable Description Logics ⋮ Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure ⋮ Unnamed Item ⋮ Agent deliberation in an executable temporal framework ⋮ Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class ⋮ First-order rewritability of ontology-mediated queries in linear temporal logic ⋮ Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure ⋮ Approximability of clausal constraints ⋮ Definability and decidability of binary predicates for time granularity ⋮ Universal solutions for temporal data exchange ⋮ A Correspondence between Temporal Description Logics ⋮ Computing possible and certain answers over order-incomplete data ⋮ First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries ⋮ Temporal Contextual Logic Programming ⋮ Combining interval-based temporal reasoning with general TBoxes

This page was built for publication: