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 条
  • [1] Extending relational algebra with similarities
    Hajdinjak, Melita
    Bierman, Gavin
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2012, 22 (04) : 686 - 718
  • [2] A Qualitative Spatio-Temporal Framework Based on Point Algebra
    Sioutis, Michael
    Condotta, Jean-Francois
    Salhi, Yakoub
    Mazure, Bertrand
    [J]. ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS, 2014, 8722 : 117 - 128
  • [3] AN ALGEBRA FOR POINT GROUPS
    FLETCHER, RO
    SHAFI, M
    HENRIQUE.RC
    [J]. ZEITSCHRIFT FUR KRISTALLOGRAPHIE KRISTALLGEOMETRIE KRISTALLPHYSIK KRISTALLCHEMIE, 1967, 124 (06): : 455 - &
  • [4] Extending statecharts with process algebra operators
    Frappier, Marc
    Gervais, Frederic
    Laleau, Regine
    Fraikin, Benoit
    St-Denis, Richard
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2008, 4 (03) : 285 - 292
  • [5] Extending Tangent Bundles by an Algebra Bundle
    Feizabadi, Hassan
    Boroojerdian, Naser
    [J]. IRANIAN JOURNAL OF SCIENCE AND TECHNOLOGY TRANSACTION A-SCIENCE, 2018, 42 (A2): : 615 - 621
  • [6] Extending Tangent Bundles by an Algebra Bundle
    Feizabadi H.
    Boroojerdian N.
    [J]. Iranian Journal of Science and Technology, Transactions A: Science, 2018, 42 (2): : 615 - 621
  • [7] Extending PT Symmetry from Heisenberg Algebra to E2 Algebra
    Bender, Carl M.
    Kalveks, R. J.
    [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2011, 50 (04) : 955 - 962
  • [8] Extending Process Algebra with an Undefined Action
    Arun-Kumar, S.
    [J]. THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 173 - 179
  • [9] EXTENDING THE RELATIONAL ALGEBRA TO CAPTURE COMPLEX OBJECTS
    MITSCHANG, B
    [J]. VERY LARGE DATA BASES - PROCEEDINGS, 1989, : 297 - 305
  • [10] EXTENDING MULTIPLIERS OF THE FOURIER ALGEBRA FROM A SUBGROUP
    Brannan, Michael
    Forrest, Brian
    [J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2014, 142 (04) : 1181 - 1191
12345