Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[HTML][HTML] On redundant topological constraints
Redundancy checking is an important task in the research of knowledge representation and
reasoning. In this paper, we consider redundant qualitative constraints. For a set Γ of …
reasoning. In this paper, we consider redundant qualitative constraints. For a set Γ of …
Solving minimal constraint networks in qualitative spatial and temporal reasoning
The minimal label problem (MLP)(also known as the deductive closure problem) is a
fundamental problem in qualitative spatial and temporal reasoning (QSTR). Given a …
fundamental problem in qualitative spatial and temporal reasoning (QSTR). Given a …
[PDF][PDF] On Redundant Topological Constraints.
Abstract The Region Connection Calculus (RCC) is a well-known calculus for representing
part-whole and topological relations. It plays an important role in qualitative spatial …
part-whole and topological relations. It plays an important role in qualitative spatial …
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning
Given a qualitative constraint network (QCN), a singleton-style consistency focuses on each
base relation (atom) of a constraint separately, rather than the entire constraint altogether …
base relation (atom) of a constraint separately, rather than the entire constraint altogether …
Algorithmic contributions to qualitative constraint-based spatial and temporal reasoning
M Sioutis - 2017 - hal.science
Qualitative Spatial and Temporal Reasoning is a major field of study in Artificial Intelligence
and, particularly, in Knowledge Representation, which deals with the fundamental cognitive …
and, particularly, in Knowledge Representation, which deals with the fundamental cognitive …
[ספר][B] Qualitative constraint satisfaction problems: algorithms, computational complexity, and extended framework
W Liu - 2013 - search.proquest.com
Abstract Qualitative Spatial and Temporal Reasoning (QSTR) is a subfield of artificial
intelligence that represents and reasons with spatial/temporal knowledge in a qualitative …
intelligence that represents and reasons with spatial/temporal knowledge in a qualitative …
[HTML][HTML] Relation algebras of Sugihara, Belnap, Meyer, and Church
Abstract Algebras introduced by, or attributed to, Sugihara, Belnap, Meyer, and Church are
representable as algebras of binary relations with set-theoretically defined operations. They …
representable as algebras of binary relations with set-theoretically defined operations. They …
Investigating the use of interval algebra to schedule mechanically steered multistatic radars
RW Focke - 2015 - open.uct.ac.za
The findings presented in this thesis support the hypothesis that Interval Algebra (IA), as a
temporal reasoning language, should perform scheduling of sensor dwells effciently and …
temporal reasoning language, should perform scheduling of sensor dwells effciently and …
[ספר][B] Qualitative spatial and temporal representation and reasoning: efficiency in time and space
Z Long - 2017 - search.proquest.com
Abstract Qualitative Spatial and Temporal Reasoning (QSTR) provides a human-friendly
abstract way to describe and to interpret spatial and temporal information. To describe the …
abstract way to describe and to interpret spatial and temporal information. To describe the …
On the utility of neighbourhood singleton-style consistencies for qualitative constraint-based spatial and temporal reasoning
A singleton-style consistency is a local consistency that verifies if each base relation (atom)
of each constraint of a qualitative constraint network (QCN) can serve as a support with …
of each constraint of a qualitative constraint network (QCN) can serve as a support with …