scientific article; zbMATH DE number 2207163
From MaRDI portal
Publication:5693201
zbMATH Open1099.68106MaRDI QIDQ5693201FDOQ5693201
Author name not available (Why is that?)
Publication date: 22 September 2005
Full work available at URL: http://www.sciencedirect.com/science/book/9780444514936
Title of this publication is not available (Why is that?)
Recommendations
Logic in artificial intelligence (68T27) Temporal logic (03B44) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)
Cited In (32)
- Системы временной логики I: моменты, истории, деревья
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
- The problem of coincidence in a theory of temporal multiple recurrence
- On the power of automata minimization in reactive synthesis
- Approximability of clausal constraints
- Computing possible and certain answers over order-incomplete data
- Back from the future
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure
- A two‐dimensional metric temporal logic
- Temporal reasoning with TRL
- Tense logic based on finite orthomodular posets
- Title not available (Why is that?)
- Combining interval-based temporal reasoning with general TBoxes
- First-order rewritability of ontology-mediated queries in linear temporal logic
- Ontology-Mediated Query Answering with Data-Tractable Description Logics
- A History of Until
- Compact and tractable automaton-based representations of time granularities
- Temporal representation and reasoning in artificial intelligence: A review
- Temporal Minimal-World Query Answering over Sparse ABoxes
- Agent deliberation in an executable temporal framework
- A Correspondence between Temporal Description Logics
- Temporal contextual logic programming
- Definability and decidability of binary predicates for time granularity
- Metric dynamic equilibrium logic
- Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class
- Universal solutions for temporal data exchange
- The token reification approach to temporal reasoning
- Metric temporal equilibrium logic over timed traces
- Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure
- Metric temporal answer set programming over timed traces
- A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form
- Knowledge representation and rule mining in entity-centric knowledge bases
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5693201)
