Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5388)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Buy print copy
About this book
Similar content being viewed by others
Keywords
- Ada
- Constraint
- algorithms
- answer sets
- compositional semantics
- computational logics
- constraint logic programming
- constraint programming
- constraint solvers
- constraint theory
- database logic
- first order logic
- inductive logic p
- logic programming
- programming language
- algorithm analysis and problem complexity
Table of contents (8 chapters)
Editors and Affiliations
Bibliographic Information
Book Title: Constraint Handling Rules
Book Subtitle: Current Research Topics
Editors: Tom Schrijvers, Thom Frühwirth
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-92243-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2008
Softcover ISBN: 978-3-540-92242-1Published: 18 December 2008
eBook ISBN: 978-3-540-92243-8Published: 26 March 2009
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 245
Topics: Artificial Intelligence, Programming Techniques, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Database Management