Extending the point algebra into the qualitative algebra

被引：0

作者：

Krokhin, A ^{[1
]}

Jonsson, P ^{[1
]}

机构：

[1] Univ Oxford, Comp Lab, Oxford OX1 3QD, England

来源：

NINTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS | 2002年

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We study the computational complexity of the qualitative algebra which is a temporal formalism that combines the point algebra, the point-interval algebra and Allen's interval algebra. We identify, all tractable fragments containing the point algebra and show that, for all other fragments containing the point algebra, the problem is NP-complete.

引用

页码：28 / 35

页数：8

共 50 条

[41] The operator algebra at the Gaussian fixed-point
Sonoda, H.
[J]. INTERNATIONAL JOURNAL OF MODERN PHYSICS A, 2021, 36 (16):
[42] Ghost systems: a vertex algebra point of view
Eholzer, W
Feher, L
Honecker, A
[J]. NUCLEAR PHYSICS B, 1998, 518 (03) : 669 - 688
[43] APPLICATION OF RACAH ALGEBRA TO MOLECULAR POINT GROUPS
CEDERBERG, JW
[J]. AMERICAN JOURNAL OF PHYSICS, 1972, 40 (01) : 159 - +
[44] Point groups and space groups in geometric algebra
Hestenes, D
[J]. APPLICATIONS OF GEOMETRIC ALGEBRA IN COMPUTER SCIENCE AND ENGINEERING, 2002, : 3 - 34
[45] N-POINT FUNCTIONS AND CURRENT ALGEBRA
FREEDMAN, DZ
[J]. PHYSICAL REVIEW D, 1970, 1 (04) : 1133 - +
[46] THE MULTIPLIER ALGEBRA OF A BEURLING ALGEBRA
Bhatt, S. J.
Dabhi, P. A.
Dedania, H. V.
[J]. BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2014, 90 (01) : 113 - 120
[47] Linear Algebra and Multilinear Algebra
Qi, Liqun
Wei, Yimin
Xu, Changqing
Zhang, Tan
[J]. FRONTIERS OF MATHEMATICS IN CHINA, 2016, 11 (03) : 509 - 510
[48] On the multiplication algebra of a Bernstein algebra
Costa, R
Ikemoto, LS
Suazo, A
[J]. COMMUNICATIONS IN ALGEBRA, 1998, 26 (11) : 3727 - 3736
[49] COMMUTATIVE ALGEBRA AND COMPUTER ALGEBRA
LAZARD, D
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1982, 144 : 40 - 48
[50] The C*-algebra of a function algebra
Murphy, GJ
[J]. INTEGRAL EQUATIONS AND OPERATOR THEORY, 2003, 47 (03) : 361 - 374

← 1 2 3 4 5 →