Objective Constraint Logic Programming (CLP) and Constraint Satisfaction techniques (CSP) have many practical applications, but are not easy to apply to over-constrained systems. Aims and Objectives: To develop a common framework for CLP and CSP approaches to over-constrained systems, thus finding a middle course between computational expense and continuous human intervention. To achieve this by linking two particular schemes, HCLP (a CLP theory) and PCSP (an instance of CSP). which embody different theories of preferential information. Content: To develop a single compositional declarative semantics for both HCLP and PCSP. To develop an operational semantics for PCSP which can be compared with my previously-developed operational semantics for HCLP, and prove its soundness with respect to the declarative semantics. To construct a prototype tool combining both CSP and CLP approaches to over-constrained systems which would have many applications (e.g. protein sequence mapping). Fields of science natural sciencesbiological sciencesbiochemistrybiomoleculesproteins Programme(s) FP4-TMR - Specific research and technological development programme in the field of the training and mobility of researchers, 1994-1998 Topic(s) 0302 - Post-doctoral research training grants TM31 - Knowledge Engineering and Artificial Intelligence Call for proposal Data not available Funding Scheme RGI - Research grants (individual fellowships) Coordinator Facultés Universitaires Notre-Dame dela Paix de Namur EU contribution No data Address 21,Rue Grandgagnage 5000 Namur Belgium See on map Total cost No data Participants (1) Sort alphabetically Sort by EU Contribution Expand all Collapse all Not available United Kingdom EU contribution No data Address See on map Total cost No data