Reasoning about linear constraints using parametric queries

Tien Huynh, Leo Joskowicz, Catherine Lassez, Jean Louis Lassez

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

7 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationFoundations of Software Technology and Theoretical Computer Science - 10th Conference, Proceedings
EditorsKesav V. Nori, C.E. Veni Madhavan
PublisherSpringer Verlag
Pages1-20
Number of pages20
ISBN (Print)9783540534877
DOIs
StatePublished - 1990
Externally publishedYes
Event10th Conference on Foundations of Software Technology and Theoretical Computer Science, FST and TCS 1990 - Bangalore, India
Duration: 17 Dec 199019 Dec 1990

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume472 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference10th Conference on Foundations of Software Technology and Theoretical Computer Science, FST and TCS 1990
Country/TerritoryIndia
CityBangalore
Period17/12/9019/12/90

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1990.

Fingerprint

Dive into the research topics of 'Reasoning about linear constraints using parametric queries'. Together they form a unique fingerprint.

Cite this