scientific article; zbMATH DE number 2207163
From MaRDI portal
Publication:5693201
Recommendations
Cited in
(37)- The problem of coincidence in a theory of temporal multiple recurrence
- A history of until
- Системы временной логики I: моменты, истории, деревья
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
- Approximability of clausal constraints
- Monodic fragments of probabilistic first-order temporal logic with bounded semantics
- Computing possible and certain answers over order-incomplete data
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure
- On the power of automata minimization in reactive synthesis
- Back from the future
- Temporal reasoning with TRL
- Combining interval-based temporal reasoning with general TBoxes
- Tense logic based on finite orthomodular posets
- scientific article; zbMATH DE number 7760478 (Why is no real title available?)
- First-order rewritability of ontology-mediated queries in linear temporal logic
- Ontology-Mediated Query Answering with Data-Tractable Description Logics
- An introduction to constraint-based temporal reasoning
- Algebraic structures formalizing the logic of quantum mechanics incorporating time dimension
- Linear-time temporal answer set programming
- Compact and tractable automaton-based representations of time granularities
- Temporal representation and reasoning in artificial intelligence: A review
- A two-dimensional metric temporal logic
- Agent deliberation in an executable temporal framework
- Temporal Minimal-World Query Answering over Sparse ABoxes
- Temporal contextual logic programming
- A Correspondence between Temporal Description Logics
- Definability and decidability of binary predicates for time granularity
- Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class
- Metric dynamic equilibrium logic
- Universal solutions for temporal data exchange
- The token reification approach to temporal reasoning
- Tense logics based on posets
- 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)
