• Publications
  • Influence
Networks of constraints: Fundamental properties and applications to picture processing
Abstract The problem of representation and handling of constraints is here considered, mainly for picture processing purposes. A systematic specification and utilization of the available constraintsExpand
  • 1,417
  • 92
Semiring-based constraint satisfaction and optimization
We introduce a general framework for constraint satisfaction and optimization where classical CSPs, fuzzy CSPs, weighted CSPs, partial constraint satisfaction, and others can be easily cast. TheExpand
  • 681
  • 64
  • Open Access
An Efficient Unification Algorithm
The unification problem in f'mst-order predicate calculus is described in general terms as the solution of a system of equations, and a nondeterministic algorithm is given. A new unificationExpand
  • 855
  • 39
  • Open Access
Petri Nets Are Monoids
Abstract Petri nets are widely used to model concurrent systems. However, their composition and abstraction mechanisms are inadequate: we solve this problem in a satisfactory way. We start byExpand
  • 410
  • 31
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison
In this paper we describe and compare two frameworks for constraint solving where classical CSPs, fuzzy CSPs, weighted CSPs, partial constraint satisfaction, and others can be easily cast. One isExpand
  • 295
  • 24
  • Open Access
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach
The algebraic approaches to graph transformation are based on the concept of gluing of graphs, modelled by pushouts in suitable categories of graphs and graph morphisms. This allows one not only toExpand
  • 509
  • 22
  • Open Access
An e cient uni cation algorithm
  • 135
  • 22
Networks of constraints: fundamental properties and applications
N-[N-[N-[N-[N-(5-Oxo-L-prolyl)-L-histidyl]-L-tryptophyl]-L-seryl]-L-ty rosyl]glycine hydrazide trifluoroacetate is converted to N-[N-[N-[N-[N-(5-oxo-L-prolyl)-L-histidyl]-L-tryptophy]-L-seryl]-L-tyrExpand
  • 109
  • 20
Constraint Solving over Semirings
We introduce a general framework for constraint solving where classical CSPs, fuzzy CSPs, weighted CSPs, partial constraint satisfaction , and others can be easily cast. The framework is based on aExpand
  • 193
  • 17
  • Open Access