Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,994,459 papers from all fields of science
Search
Sign In
Create Free Account
Allen's interval algebra
Known as:
Interval Algebra
For the type of boolean algebra called interval algebra, see Boolean algebra (structure) Allen's interval algebra is a calculus for temporal…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Commonsense reasoning
SQL:2011
Spatial–temporal reasoning
Temporal annotation
Expand
Broader (1)
Constraint programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Complexity of Interval Relaxed Numeric Planning
Johannes Aldinger
,
Robert Mattmüller
,
M. Göbelbecker
Deutsche Jahrestagung für Künstliche Intelligenz
2015
Corpus ID: 334405
Automated planning is computationally hard even in its most basic form as STRIPS planning. We are interested in numeric planning…
Expand
2014
2014
A Classification of Tracially Approximate Splitting Interval Algebras. I. The Building Blocks and the Limit Algebras
Z. Niu
2014
Corpus ID: 51782692
Motivated by Huaxin Lin’s axiomatization of AH-algebras, the class of TASI-algebras is introduced as the class of unital C…
Expand
2012
2012
On Optimal Top-K String Retrieval
Rahul Shah
,
Cheng Sheng
,
Sharma V. Thankachan
,
J. Vitter
arXiv.org
2012
Corpus ID: 16594171
Let ${\cal{D}}$ = $\{d_1, d_2, d_3, ..., d_D\}$ be a given set of $D$ (string) documents of total length $n$. The top-$k…
Expand
2011
2011
Solving Qualitative Constraints Involving Landmarks
W. Liu
,
Sheng-sheng Wang
,
Sanjiang Li
,
Da-you Liu
International Conference on Principles and…
2011
Corpus ID: 25791256
Consistency checking plays a central role in qualitative spatial and temporal reasoning. Given a set of variables V, and a set of…
Expand
2007
2007
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables
S. Wölfl
,
Till Mossakowski
,
Lutz Schröder
The Florida AI Research Society
2007
Corpus ID: 10723449
A voltage checking circuit for checking a power source battery whose terminal voltage changes with time at an early stage…
Expand
2006
2006
Regularity of Interval Matrices and Theorems of the Alternatives
J. Rohn
Reliable Computing
2006
Corpus ID: 207235964
We give several characterizations of regularity of interval matrices. All of them have to do with solvability of certain systems…
Expand
2005
2005
Probabilistic interval-valued computation: representing and reasoning about uncertainty in dsp and vlsi design
C. F. Fang
,
Rob A. Rutenbar
2005
Corpus ID: 115548748
In DSP and VLSI design, there are many variational parameters that are unknown during the design stage, but significantly affect…
Expand
2005
2005
New method of software test——interval algebra method
Song Xiao-qiu
2005
Corpus ID: 64166725
Software test is an importantway forimproving thesoftwarereliability and ensuring software quality.Especially in theresearch…
Expand
2005
2005
Linear Interval Equations: Midpoint Preconditioning May Produce a 100% Overestimation for Arbitrarily Narrow Data Even in Case n = 4
J. Rohn
Reliable Computing
2005
Corpus ID: 22156047
We construct a linear interval system Ax = b with a 4 × 4 interval matrix whose all proper interval coefficients (there are also…
Expand
2002
2002
From [0,1]-Based Logic to Interval Logic (From Known Description of All Possible [0,1]-Based Logical Operations to a Description of All Possible Interval-Based Logical Operations)
H. Nguyen
,
V. Kreinovich
2002
Corpus ID: 117893264
Since early 1960s, we have a complete description of all possible [0 , 1]-based logical operations, namely of “and”-operations (t…
Expand