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 条
  • [31] Reasoning about integrity constraints for tree-structured data
    Wojciech Czerwiński
    Claire David
    Filip Murlak
    Paweł Parys
    Theory of Computing Systems, 2018, 62 : 941 - 976
  • [32] Reasoning about Strategies under Partial Observability and Fairness Constraints
    Busard, Simon
    Pecheur, Charles
    Qu, Hongyang
    Raimondi, Franco
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (112): : 71 - 79
  • [33] Reasoning about actions: steady versus stabilizing state constraints
    Thielscher, M
    ARTIFICIAL INTELLIGENCE, 1998, 104 (1-2) : 339 - 355
  • [34] Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints
    Sioutis, Michael
    Long, Zhiguo
    Li, Sanjiang
    INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2018, 27 (04)
  • [35] Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints
    Piskac, Ruzica
    AUTOMATED REASONING, PT I, 2020, 12166 : 3 - 10
  • [36] Reasoning about Disclosure in Data Integration in the Presence of Source Constraints
    Benedikt, Michael
    Bourhis, Pierre
    Jachiet, Louis
    Thomazo, Michael
    PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 1551 - 1557
  • [37] Rewriting queries using views with value integrity constraints
    Jaudoin, H
    STAIRS 2004, 2004, 109 : 38 - 49
  • [38] Reasoning about Resources and Information: A Linear Logic Approach
    Kamide, Norihiro
    Kaneiwa, Ken
    FUNDAMENTA INFORMATICAE, 2013, 125 (01) : 51 - 70
  • [39] Working memory constraints on linear reasoning with spatial and temporal contents
    Vandierendonck, A
    De Vooght, G
    QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY SECTION A-HUMAN EXPERIMENTAL PSYCHOLOGY, 1997, 50 (04): : 803 - 820
  • [40] Reasoning on regular path queries
    Calvanese, D
    De Giacomo, G
    Lenzerini, M
    Vardi, MY
    SIGMOD RECORD, 2003, 32 (04) : 83 - 92
12345