Modelling and solving temporal reasoning as propositional satisfiability

Artificial Intelligence 172 (15):1752-1782 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 107,053

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Modelling student's problem solving.D. H. Sleeman & M. J. Smith - 1981 - Artificial Intelligence 16 (2):171-187.
Search and Reasoning in problem solving.Herbert A. Simon - 1983 - Artificial Intelligence 21 (1-2):7-29.

Analytics

Added to PP
2020-12-22

Downloads
15 (#1,375,758)

6 months
3 (#1,292,044)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Consistency in networks of relations.Alan K. Mackworth - 1977 - Artificial Intelligence 8 (1):99-118.
Temporal constraint networks.Rina Dechter, Itay Meiri & Judea Pearl - 1991 - Artificial Intelligence 49 (1-3):61-95.
Reasoning about qualitative temporal information.Peter van Beek - 1992 - Artificial Intelligence 58 (1-3):297-326.

View all 9 references / Add more references