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
Flagged first, then by citations
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
Software for Computing and Annotating Genomic Ranges
Lawrence, M. F., Huber, W. K., Pagès, H., Aboyoun, P., Carlson, M. R. J., Gentleman, R. C., Morgan, M. T., & Carey, V. J. (2013) · PLoS Computational Biology · doi:10.1371/journal.pcbi.1003118 · Cited by 4,475
“The algorithm supports several types of overlap, including those defined by Allen’s Interval Algebra [5].”
MethodTowards a general theory of action and time
Allen, J. F. (1984) · Artificial Intelligence · doi:10.1016/0004-3702(84)90008-0 · Cited by 2,596
Self-citationForbus, K. D. (1984) · Artificial Intelligence · doi:10.1016/0004-3702(84)90038-9 · Cited by 2,491
“Recently several attempts have been made to model temporal reasoning by Allen [1] and McDermott [30] .”
BackgroundMethodDechter, R., Meiri, I., & Pearl, J. (1989) · Artificial Intelligence · doi:10.1016/0004-3702(91)90006-6 · Cited by 2,253
Handbook of Constraint Programming
Rossi, F., van Beek, P., & Walsh, T. (2006) · Foundations of artificial intelligence · doi:10.1016/s1574-6526(06)x8001-x · Cited by 1,845
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
