Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009168903/catalog> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- catalog abstract "This volume contains a selection of papers from the Joint ERCIM/CologNet Workshop on Constraint Solving and Constraint Logic Programming, held at the Cork Constraint Computation Centre from the 19th to the 21st of June 2002. The workshop co-located two events: the seventh meeting of the ERCIM Working Group on Constraints, co-ordinated by Krzysztof Apt, and the ?rst annual workshop of the CologNet Area for Constraint and Logic Programming, co-ordinated by Francesca Rossi. The aim of this workshop was to provide a forum where researchers in c- straint processing could meet in an informal setting and discuss their most recent work. The Cork Constraint Computation Centre was chosen as the venue for the workshop because it is a new research centre, supported by Science Foundation Ireland and led by Eugene Freuder, which is entirely devoted to studying c- straint processing. Thus, the workshop participants had an opportunity to see the centre, meet its members and investigate the potential for future collabo- tion. Amongst the topics addressed by the papers in this volume are: veri?cation and debugging of constraint logic programs; modelling and solving CSPs; exp- nation generation; inference and consistency processing; SAT and 0/1 encodings of CSPs; soft constraints and constraint relaxation; real-world applications; and distributed constraint solving.".
- catalog contributor b12919012.
- catalog contributor b12919013.
- catalog created "c2003.".
- catalog date "2003".
- catalog date "c2003.".
- catalog dateCopyrighted "c2003.".
- catalog description "Abstract Verification and Debugging of Constraint Logic Programs / Manuel Hermenegildo, German Puebla, Francisco Bueno and Pedro Lopez-Garcia -- CGRASS: A System for Transforming Constraint Satisfaction Problems / Alan M. Frisch, Ian Miguel and Toby Walsh -- Interchangeability in Soft CSPs / Stefano Bistarelli, Boi Faltings and Nicoleta Neagu -- Towards Automated Reasoning on the Properties of Numerical Constraints / Lucas Bordeaux, Eric Monfroy and Frederic Benhamou -- Domain-Heuristics for Arc-Consistency Algorithms / Marc R.C. van Dongen -- Computing Explanations and Implications in Preference-Based Configurators / Eugene C. Freuder, Chavalit Likitvivatanavong, Manuela Moretti, Francesca Rossi and Richard J. Wallace.".
- catalog description "Includes bibliographical references and index.".
- catalog description "This volume contains a selection of papers from the Joint ERCIM/CologNet Workshop on Constraint Solving and Constraint Logic Programming, held at the Cork Constraint Computation Centre from the 19th to the 21st of June 2002. The workshop co-located two events: the seventh meeting of the ERCIM Working Group on Constraints, co-ordinated by Krzysztof Apt, and the ?rst annual workshop of the CologNet Area for Constraint and Logic Programming, co-ordinated by Francesca Rossi. The aim of this workshop was to provide a forum where researchers in c- straint processing could meet in an informal setting and discuss their most recent work. The Cork Constraint Computation Centre was chosen as the venue for the workshop because it is a new research centre, supported by Science Foundation Ireland and led by Eugene Freuder, which is entirely devoted to studying c- straint processing. Thus, the workshop participants had an opportunity to see the centre, meet its members and investigate the potential for future collabo- tion. Amongst the topics addressed by the papers in this volume are: veri?cation and debugging of constraint logic programs; modelling and solving CSPs; exp- nation generation; inference and consistency processing; SAT and 0/1 encodings of CSPs; soft constraints and constraint relaxation; real-world applications; and distributed constraint solving.".
- catalog extent "x, 199 p. :".
- catalog identifier "3540009868 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 2627. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 2627.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "2003".
- catalog issued "c2003.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.1/15 21".
- catalog subject "Artificial intelligence.".
- catalog subject "Computer science.".
- catalog subject "Computer software.".
- catalog subject "Constraint programming (Computer science) Congresses.".
- catalog subject "Logic design.".
- catalog subject "Logic programming Congresses.".
- catalog subject "QA76.612 .I63 2003".
- catalog tableOfContents "Abstract Verification and Debugging of Constraint Logic Programs / Manuel Hermenegildo, German Puebla, Francisco Bueno and Pedro Lopez-Garcia -- CGRASS: A System for Transforming Constraint Satisfaction Problems / Alan M. Frisch, Ian Miguel and Toby Walsh -- Interchangeability in Soft CSPs / Stefano Bistarelli, Boi Faltings and Nicoleta Neagu -- Towards Automated Reasoning on the Properties of Numerical Constraints / Lucas Bordeaux, Eric Monfroy and Frederic Benhamou -- Domain-Heuristics for Arc-Consistency Algorithms / Marc R.C. van Dongen -- Computing Explanations and Implications in Preference-Based Configurators / Eugene C. Freuder, Chavalit Likitvivatanavong, Manuela Moretti, Francesca Rossi and Richard J. Wallace.".
- catalog title "Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers / Barry O'Sullivan (ed.).".
- catalog type "Conference proceedings. fast".
- catalog type "Cork (2002) swd".
- catalog type "text".