Trends in Temporal Reasoning: Constraints, Graphs and Posets
DOI10.1007/978-3-319-32859-1_25zbMATH Open1460.68100OpenAlexW2442130364MaRDI QIDQ2807847FDOQ2807847
Authors: Jacqueline W. Daykin, Mirka Miller, Joe Ryan 
Publication date: 25 May 2016
Published in: Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-32859-1_25
Recommendations
- scientific article; zbMATH DE number 1234563
- A unifying approach to temporal constraint reasoning
- An introduction to constraint-based temporal reasoning
- scientific article; zbMATH DE number 708851
- Modelling and solving temporal reasoning as propositional satisfiability
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
- Complexity and algorithms for reasoning about time
- Temporal constraint satisfaction problems in fixed-point logic
- scientific article; zbMATH DE number 1117897
- scientific article; zbMATH DE number 1149417
graphartificial intelligenceposetconstraint satisfaction problemalgebraic closurequalitative temporal reasoningAllen's interval algebraFishburn-Shepp inequalitytractable satisfiability
Graph theory (including graph drawing) in computer science (68R10) Combinatorics of partially ordered sets (06A07) Logic in artificial intelligence (68T27) Computational aspects of satisfiability (68R07)
Cited In (14)
- Title not available (Why is that?)
- Integer programming ensemble of temporal relations classifiers
- An efficient algorithm for the maximum distance problem
- Eulogy for Professor Mirka Miller (1949--2016)
- Modelling and solving temporal reasoning as propositional satisfiability
- Toward a comprehensive treatment of temporal constraints about periodic events
- Range-consistent forbidden regions of Allen's relations
- Automated Technology for Verification and Analysis
- Title not available (Why is that?)
- Temporal Reasoning about Two Concurrent Sequences of Events
- Complexity and algorithms for reasoning about time
- Efficient algorithms for qualitative reasoning about time
- Temporal Reasoning in Nested Temporal Networks with Alternatives
- Complexity classification in qualitative temporal constraint reasoning
This page was built for publication: Trends in Temporal Reasoning: Constraints, Graphs and Posets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2807847)
