The DOI matches its Crossref record; 1 of the 1 references it cites were found in a registry or an index.
Maintaining knowledge about temporal intervals
Open accessAbstract
article Free Access Share on Maintaining knowledge about temporal intervals Author: James F. Allen Univ. of Rochester, Rochester, NY Univ. of Rochester, Rochester, NYView Profile Authors Info & Claims Communications of the ACMVolume 26Issue 11Nov. 1983 pp 832–843https://doi.org/10.1145/182.358434Online:01 November 1983Publication History 5,173citation11,531DownloadsMetricsTotal Citations5,173Total Downloads11,531Last 12 Months644Last 6 weeks101 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The source backs part of the claim, not all of it — or backs it for a different population, condition or comparison.
In the citing paper
“Allen-relation selection on the operator output preserves the bitemporal-tuple type by closure of Allen's thirteen interval relations and the twelve-relation transitivity table that omits equality [3].”
From TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory (2026) · cites this paper as [3]
Experimental — accuracy not yet measuredThe cited source says what the claim attributes to it.
In the citing paper
“Closure under Allen-relation selection follows from the transitivity table over the twelve non-equality relations [3].”
From TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory (2026) · cites this paper as [3]
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
Fikes, R. E., & Nilsson, N. J. (1971) · Artificial Intelligence · doi:10.1016/0004-3702(71)90010-5 · Cited by 4,882
Research works printed but not linked: 18
- Allen J. F., 1982, Proc. Nat. Conf. on Artificial Intelligence, AAAI 82
- Allen J. F., 1983, Contributions in Artificial Intelligence, 1
- Allen J. F., 1983, Joint Conf. Artificial Intelligence
- 10.1016/0004-3702(72)90040-9 · DOI
- Bubenko J. A., Jr., 1980, Proc. IFIP Congress
- 10.1016/0004-3702(79)90008-0 · DOI
- 10.5555/1622876.1622939 · DOI
- Foderaro J. K., 1980, Berkeley
- 10.1145/322290.322292 · DOI
- Hayes P. J., 1979, Edinburgh U. Press
- Hayes P. J., 1978, Geneva
- 10.1016/0004-3702(73)90010-6 · DOI
- 10.1016/0004-3702(77)90015-7 · DOI
- McCarthy J., 1969, Edinburgh U. Press
- 10.1207/s15516709cog0602_1 · DOI
- 10.1007/978-3-7091-7664-1 · DOI
- Sacerdoti E. D., 1977, Elsevier North- Holland
- Vilain M., 1982, Proc. AAAI 82
Cited by
Sorted by citations
Items 1,001–1,006 of 1,006
Deriving the Composition of Binary Topological Relations
Egenhofer, M. (1994) · Journal of Visual Languages and Computing · doi:10.1006/jvlc.1994.1007 · Cited by 37
“[3] J. Allen (1983) Maintaining knowledge about temporal intervals.”
A cognitive architecture theory of anticipatory thinking
Jones, S. J., & Laird, J. E. (2023) · AI Magazine · doi:10.1002/aaai.12102 · Cited by 5
Challenges in Data Quality Management for IoT-Enhanced Event Logs
Bertrand, Y., Schultheis, A., Malburg, L., Grüger, J., Asensio, E. S., & Bergmann, R. (2025) · Lecture Notes in Business Information Processing · doi:10.1007/978-3-031-92474-3_2 · Cited by 4
Schultheis, A., Bertrand, Y., Grüger, J., Malburg, L., Bergmann, R., & Serral Asensio, E. (2025) · IoT · doi:10.3390/iot6040063 · Cited by 2
“…similarity-based retrieval techniques (e.g., MAC/FAC retrieval [77], index-based case base structures [78], and GPU-accelerated retrieval [79]) and leaner case representations (temporal abstraction [48,80] and constant-value pruning [47]) are mandatory before the approach can be used in practice.”
Ge, Y., Romeo, S., Cai, J., Shu, R., Sunkara, M., Benajiba, Y., & Zhang, Y. (2025) · arXiv · doi:10.48550/arxiv.2502.01630 · Cited by 3
“Allen’s interval algebra (Allen, 1983) provides a foundation for solving various types of temporal reasoning by identifying event timestamps and performing temporal comparisons or calculations.”
TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory
Wang, Z. (2026) · arXiv · doi:10.48550/arxiv.2606.06240 · Cited by 15
Metadata
- Authors
- Allen, J. F.
- Affiliations
- University of Rochester (US)
- Corresponding author
- Allen, James F.
- ORCID
- Allen, James F.
- Venue
- Communications of the ACM
- Published
- 1983-11
- Volume
- 26
- Issue
- 11
- Pages
- 832-843
- ISSN
- 0001-0782 (ISSN-L)
- 1557-7317
- OpenAlex
- W2161484642
- Cited by
- 7,593
- References
- 0
- Citations by year
- 2026: 79 · 2025: 88 · 2024: 133 · 2023: 126 · 2022: 115 · 2021: 159 · 2020: 194 · 2019: 175 · 2018: 212 · 2017: 246 · 2016: 291 · 2015: 267 · 2014: 279 · 2013: 326 · 2012: 322
- FWCI
- 27.16
- Type
- journal article
- Language
- en
- Open access
- bronze
- doi.org
- Locations
- Communications of the ACM (publishedVersion)
- Funders
- National Science Foundation (8210564)
- Office of Naval Research (N00014)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
- Physical Sciences › Computer Science › Artificial Intelligence › Constraint Satisfaction and Optimization
- Physical Sciences › Computer Science › Artificial Intelligence › AI-based Problem Solving and Planning
- Keywords
- temporal reasoning, time intervals, interval arithmetic, knowledge representation, temporal logic, Allen's interval algebra
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
