Constraint propagation in Mozart [Elektronische Ressource] / Tobias Müller
225 Pages
English
Downloading requires you to have access to the YouScribe library
Learn all about the services we offer

Constraint propagation in Mozart [Elektronische Ressource] / Tobias Müller

Downloading requires you to have access to the YouScribe library
Learn all about the services we offer
225 Pages
English

Description

SSAATRIASVRConstraint Propagation in MozartTobias MüllerDissertationzur Erlangung des GradesDoktor der Ingenieurwissenschaften (Dr.-Ing.)der Naturwissenschaftlich-Technischen Fakultät Ider Universität des SaarlandesSaarbrücken, 2001IEEVNISNIUSCopyright c 2001, Tobias MüllerProgramming Systems LabUniversität des Saarlandes, 66041 Saarbrücken, GermanyEmail: tmueller@ps.uni-sb.deWeb: www.ps.uni-sb.de/~tmuellerAThis document was prepared with LT X 2 ."EProgram listings were typeset with a modified version of Denys Duchier’sraw2tex.Prüfungsausschuss / Examining Committee:Vorsitzender: Prof. Dr. Jörg SiekmannErstgutachter: Prof. Dr. Gert SmolkaZweitgutachter: Assistant Prof. Dr. Martin HenzDekan: Prof. Dr. Rainer Schulze-PillotBeisitzer: Dr.-Ing. Alassane NdiayeTag des Kolloquiums: 3. Dezember 2001AbstractThis thesis presents constraint propagation in Mozart which is based on compu-tational agents called propagators. The thesis designs, implements, and evaluatespropagator-based propagation engines. A propagation engine is split up in generication services and domain specific domain solvers which are connected bya constraint programming interface. Propagators use filters to perform constraintpropagation. The interface isolates filters from propagators such that they can beshared among various systems.

Subjects

Informations

Published by
Published 01 January 2004
Reads 9
Language English
Document size 1 MB

Exrait