Sciweavers

3513 search results - page 180 / 703
» Super Logic Programs
Sort
View
DAGSTUHL
2007
15 years 4 months ago
Expressing and Verifying Business Contracts with Abductive Logic Programming
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
110
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...