Sciweavers

4370 search results - page 268 / 874
» Algebra of Logic Programming
Sort
View
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...
AAAI
2006
15 years 4 months ago
Elementary Sets of Logic Programs
Martin Gebser, Joohyung Lee, Yuliya Lierler
108
Voted
AAAI
2006
15 years 4 months ago
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms
Tran Cao Son, Enrico Pontelli, Phan Huy Tu