Constraint Handling Rules Current Research Topics /

The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. The CHR language saw the light more than 15 years ago. Sin...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Schrijvers, Tom (Editor ), Frühwirth, Thom (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Lecture Notes in Artificial Intelligence, 5388
Temas:
Artificial intelligence.
Computer programming.
Machine theory.
Algorithms.
Database management.
Artificial Intelligence.
Programming Techniques.
Formal Languages and Automata Theory.
Database Management.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Welcome to Constraint Handling Rules
  • A Flexible Search Framework for CHR
  • Adaptive CHR Meets CHR???
  • Constructing Rule-Based Solvers for Intentionally-Defined Constraints
  • Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
  • A Compositional Semantics for CHR with Propagation Rules
  • CHR for Imperative Host Languages
  • Guard Reasoning in the Refined Operational Semantics of CHR.

Ejemplares similares