article

Reasoning about qualitative temporal information

Author:

Peter van BeekAuthors Info & Claims

Artificial Intelligence, Volume 58, Issue 1-3

Pages 297 - 326

https://doi.org/10.1016/0004-3702(92)90011-L

Published: 01 December 1992 Publication History

Abstract

No abstract available.

Cited By

View all

Bianchi FPalmonari MNozza D(2018)Towards Encoding Time in Text-Based Entity EmbeddingsThe Semantic Web – ISWC 201810.1007/978-3-030-00671-6_4(56-71)Online publication date: 8-Oct-2018
https://dl.acm.org/doi/10.1007/978-3-030-00671-6_4
Dylla FLee JMossakowski TSchneider TDelden AVen JWolter D(2017)A Survey of Qualitative Spatial and Temporal CalculiACM Computing Surveys10.1145/303892750:1(1-39)Online publication date: 4-Apr-2017
https://dl.acm.org/doi/10.1145/3038927
Long ZSchockaert SLi S(2016)Encoding large RCC8 scenarios using rectangular pseudo-solutionsProceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning10.5555/3032027.3032083(463-472)Online publication date: 25-Apr-2016
https://dl.acm.org/doi/10.5555/3032027.3032083
Show More Cited By

Index Terms

Reasoning about qualitative temporal information
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
  2. Symbolic and algebraic manipulation
    1. Symbolic and algebraic algorithms
      1. Theorem proving algorithms
2. Theory of computation
  1. Logic
  2. Models of computation
    1. Computability

Recommendations

Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class

In many applications of temporal reasoning we are interested in processing temporal information incrementally. In particular, given a set of temporal constraints (a temporal CSP) and a new constraint, we want to maintain certain properties of the ...
Reasoning about qualitative temporal information
Constraint-based reasoning
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra

We introduce a new subclass of Allen's interval algebra we call “ORD-Horn subclass,” which is a strict superset of the “pointisable subclass.” We prove that reasoning in the ORD-Horn subclass is a polynomial-time problem and show that the path-...

Comments

Information & Contributors

Information

Published In

Artificial Intelligence Volume 58, Issue 1-3

Special volume on constraint-based reasoning

Dec. 1992

387 pages

ISSN:0004-3702

Editors:
Daniel G. Bobrow
Xerox Palo Alto Research Center
,
Michael Brady
Oxford Univ., Oxford, UK

Issue’s Table of Contents

Publisher

Elsevier Science Publishers Ltd.

United Kingdom

Publication History

Published: 01 December 1992

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

81
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bianchi FPalmonari MNozza D(2018)Towards Encoding Time in Text-Based Entity EmbeddingsThe Semantic Web – ISWC 201810.1007/978-3-030-00671-6_4(56-71)Online publication date: 8-Oct-2018
https://dl.acm.org/doi/10.1007/978-3-030-00671-6_4
Dylla FLee JMossakowski TSchneider TDelden AVen JWolter D(2017)A Survey of Qualitative Spatial and Temporal CalculiACM Computing Surveys10.1145/303892750:1(1-39)Online publication date: 4-Apr-2017
https://dl.acm.org/doi/10.1145/3038927
Long ZSchockaert SLi S(2016)Encoding large RCC8 scenarios using rectangular pseudo-solutionsProceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning10.5555/3032027.3032083(463-472)Online publication date: 25-Apr-2016
https://dl.acm.org/doi/10.5555/3032027.3032083
Du HAlechina N(2016)Qualitative spatial logics for buffered geometriesJournal of Artificial Intelligence Research10.5555/3013589.301360856:1(693-745)Online publication date: 1-May-2016
https://dl.acm.org/doi/10.5555/3013589.3013608
Sioutis MLong ZLi S(2016)Efficiently Reasoning about Qualitative Constraints through Variable EliminationProceedings of the 9th Hellenic Conference on Artificial Intelligence10.1145/2903220.2903226(1-10)Online publication date: 18-May-2016
https://dl.acm.org/doi/10.1145/2903220.2903226
McClelland MCampbell MEstlin T(2016)Qualitative relational mapping and navigation for planetary roversRobotics and Autonomous Systems10.1016/j.robot.2016.05.01783:C(73-86)Online publication date: 1-Sep-2016
https://dl.acm.org/doi/10.1016/j.robot.2016.05.017
Focke Rde Villiers JInggs M(2015)Interval Algebra - An effective means of scheduling surveillance radar networksInformation Fusion10.1016/j.inffus.2014.08.00223:C(81-98)Online publication date: 1-May-2015
https://dl.acm.org/doi/10.1016/j.inffus.2014.08.002
Daykin JMiller MRyan J(2015)Trends in Temporal ReasoningRevised Selected Papers of the 6th International Conference on Mathematical Aspects of Computer and Information Sciences - Volume 958210.1007/978-3-319-32859-1_25(290-304)Online publication date: 11-Nov-2015
https://dl.acm.org/doi/10.1007/978-3-319-32859-1_25
Amaneddine NCondotta JSioutis M(2013)Efficient approach to solve the minimal labeling problem of temporal and spatial qualitative constraintsProceedings of the Twenty-Third international joint conference on Artificial Intelligence10.5555/2540128.2540230(696-702)Online publication date: 3-Aug-2013
https://dl.acm.org/doi/10.5555/2540128.2540230
Hadad MKraus SBen-Arroyo Hartman IRosenfeld A(2013)Group planning with time constraintsAnnals of Mathematics and Artificial Intelligence10.1007/s10472-013-9363-969:3(243-291)Online publication date: 1-Nov-2013
https://dl.acm.org/doi/10.1007/s10472-013-9363-9
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class

Reasoning about qualitative temporal information

Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations