Sciweavers

3481 search results - page 219 / 697
» Higher-Order Logic Programming as Constraint Logic Programmi...
Sort
View
DAGSTUHL
2007
15 years 4 months ago
Expressing and Verifying Business Contracts with Abductive Logic Programming
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
109
Voted
PLANX
2007
15 years 4 months ago
XCentric: A Logic-Programming Language for XML Processing
Jorge Coelho, Mário Florido
SWAP
2008
15 years 4 months ago
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting
Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...
Federico Chesani, Paola Mello, Marco Montali, Paol...