953 search results - page 47 / 191 » Constraint Based Transformation Theory |
LPNMR
2005
Springer
14 years 3 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
ECTEL
2007
Springer
14 years 4 months ago
2007
Springer
To answer the challenges of globally distributed organizations facing constant transformation of work, means of ICT supported interorganizational knowledge-creation is needed. Firs...
GG
2004
Springer
14 years 3 months ago
2004
Springer
We propose to study two infinite graph transformations that we respectively call bounded and unbounded path transduction. These graph transformations are based on path substitutio...
JCIT
2007
13 years 10 months ago
2007
In this paper, we propose a more flexible “economic cluster identification” approach to analyzing the domestic I/O flows of intermediary goods and service that is based on inf...
AAAI
2000
13 years 11 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...