Position Papers for the First Workshop on Principles and Practice of Constraint Programming Held in Newport, Rhode Island on April 28-30, 1993

Abstract

Partial contents: Entailment and Disentailment of Order-Sorted Feature Constraints; Using a Visual Constraint Language for Data Display Specification; The Geometry in Constraint Logic Programs; On the Semantics of Optimization Predicates in CLP Languages; A Higher-Order Extension of Constraint Programming in Discourse Analysis; Practical Issues in Programming Constraints; Memorization in Constraint Logic Programming; Exploiting Constraint Dependency Information For Debugging and Explanation.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 30, 1993
Accession Number
ADA281497

Entities

People

  • Andreas Podelski
  • Hassan Ait-kaci

Organizations

  • Brown University

Tags

Communities of Interest

  • Autonomy
  • C4I
  • Energy and Power Technologies
  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Birds
  • Cognitive Science
  • Computational Science
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computer-Aided Design
  • Computers
  • Geography
  • Grammars
  • Information Systems
  • Linear Programming
  • Linguistics
  • Mathematical Models
  • Mathematical Programming

Fields of Study

  • Computer science
  • Linguistics

Readers

  • Academic Conference Management
  • Computational Linguistics
  • Operations Research