Qualitative constraints representation for the time and space in SAT

被引：1
|
作者：
Condotta, Jean-Francois [1 ]
D'Almeida, Dominique [1 ]
机构：
[1] Univ Artois, CNRS, CRIL, F-62307 Lens, France
来源：
19TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL I, PROCEEDINGS | 2007年
关键词：
D O I：
10.1109/ICTAI.2007.75
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in the framework of the propositional logic is proposed. The definition of this encoding presupposes the existence of a particular order on the basic relations of the qualitative calculus such as that of the conceptual lattice of the interval algebra of Allen.
引用
收藏
页码：74 / +
页数：2
相关论文
共 50 条
  • [31] Optimizing SAT Encodings for Arithmetic Constraints
    Zhou, Neng-Fa
    Kjellerstrand, Hakan
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING (CP 2017), 2017, 10416 : 671 - 686
  • [32] Off-line and On-line Scheduling of SAT Instances with Time Processing Constraints
    Duque, Robinson
    Arbelaez, Alejandro
    Francisco Diaz, Juan
    ADVANCES IN COMPUTING, CCC 2017, 2017, 735 : 524 - 539
  • [33] Gender differences in space-time constraints
    Kwan, MP
    AREA, 2000, 32 (02) : 145 - 156
  • [34] SPACE-TIME REPRESENTATION IN WAVE MECHANICS
    HELLUND, EJ
    BRACHMAN, MK
    PHYSICAL REVIEW, 1953, 92 (03): : 822 - 824
  • [35] On a Microscopic Representation of Space-Time III
    Rolf Dahm
    Advances in Applied Clifford Algebras, 2019, 29
  • [36] Evidence for metaphoric representation: Perspective in space and time
    Boroditsky, L
    PROCEEDINGS OF THE NINETEENTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 1997, : 869 - 869
  • [37] ANIMAL COGNITION - THE REPRESENTATION OF SPACE, TIME AND NUMBER
    GALLISTEL, CR
    ANNUAL REVIEW OF PSYCHOLOGY, 1989, 40 : 155 - 189
  • [38] BILINEAR SPINOR REPRESENTATION OF SPACE-TIME
    HONG, NT
    PROGRESS OF THEORETICAL PHYSICS, 1976, 56 (05): : 1647 - 1653
  • [39] Space-time unity and the representation problem
    Winkler, FG
    COMPUTING ANTICIPATORY SYSTEMS, 1999, 465 : 131 - 141
  • [40] Space time code representation in transform domain
    Hwang, GY
    Hou, J
    Lee, MH
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 2004, 3215 : 74 - 80
12345