Trends in Temporal Reasoning: Constraints, Graphs and Posets

DOI10.1007/978-3-319-32859-1_25MaRDI QIDQ2807847zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

graphartificial intelligenceposetconstraint satisfaction problemalgebraic closurequalitative temporal reasoningAllen's interval algebraFishburn-Shepp inequalitytractable satisfiability

Mathematics Subject Classification ID

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)

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

Cited in

(14)

• scientific article; zbMATH DE number 708851 (Why is no real title available?)
• Integer programming ensemble of temporal relations classifiers
• Eulogy for Professor Mirka Miller (1949--2016)
• An efficient algorithm for the maximum distance problem
• 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
• scientific article; zbMATH DE number 2080327 (Why is no real title available?)
• 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)