REASONING ABOUT LINEAR CONSTRAINTS USING PARAMETRIC QUERIES

被引：0
|
作者：
HUYNH, T
JOSKOWICZ, L
LASSEZ, C
LASSEZ, JL
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 472卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We address the problem of building intelligent query systems to reason about linear arithmetic constraints. The central issue is the development of tools for testing solvability, for constraints representation, for incremental updates and for intelligent feedback. The concept of parametric queries introduced in the context of constraint logic programming provides the starting point for this study. The relevance of this approach is illustrated by examples from the domain of spatial reasoning.
引用
收藏
页码：1 / 20
页数：20
相关论文
共 50 条
  • [21] Raster Maps Search Using Text Queries and Reasoning
    Cacko, Arkadiusz
    Iwanowski, Marcin
    PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON COMPUTER RECOGNITION SYSTEMS CORES 2017, 2018, 578 : 316 - 325
  • [22] Reasoning about non-linear AR models using expectation maximization
    Arnold, M
    JOURNAL OF FORECASTING, 2003, 22 (6-7) : 479 - 490
  • [23] Minimizing XML queries using a family of constraints
    Liu, Xiping
    Wan, Changxuan
    FOURTH INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, VOL 3, PROCEEDINGS, 2007, : 601 - +
  • [24] Efficient processing of queries and assertions about qualitative and quantitative temporal constraints
    Console, L
    Terenziani, P
    COMPUTATIONAL INTELLIGENCE, 1999, 15 (04) : 442 - 465
  • [25] Equational reasoning using AC constraints
    Plaisted, DA
    Zhu, YS
    IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 1997, : 108 - 113
  • [26] Hard and soft constraints for reasoning about qualitative conditional preferences
    C. Domshlak
    S. Prestwich
    F. Rossi
    K. B. Venable
    T. Walsh
    Journal of Heuristics, 2006, 12 : 263 - 285
  • [27] Reasoning about integrity constraints for tree-structured data
    Czerwinski, Wojciech
    David, Claire
    Murlak, Filip
    Parys, Pawel
    THEORY OF COMPUTING SYSTEMS, 2018, 62 (04) : 941 - 976
  • [28] Hard and soft constraints for reasoning about qualitative conditional preferences
    Domshlak, C
    Prestwich, S
    Rossi, F
    Venable, KB
    Walsh, T
    JOURNAL OF HEURISTICS, 2006, 12 (4-5) : 263 - 285
  • [29] Efficiently Reasoning about Qualitative Constraints through Variable Elimination
    Sioutis, Michael
    Long, Zhiguo
    Li, Sanjiang
    9TH HELLENIC CONFERENCE ON ARTIFICIAL INTELLIGENCE (SETN 2016), 2016,
  • [30] The Affordances and Constraints of Diagrams on Students' Reasoning about State Machines
    Herman, Geoffrey L.
    Choi, Dong San
    PROCEEDINGS OF THE 2017 ACM CONFERENCE ON INTERNATIONAL COMPUTING EDUCATION RESEARCH (ICER 17), 2017, : 173 - 181
12345