Sciweavers

140 search results - page 7 / 28
» Logic Programming, Abduction and Probability
Sort
View
JELIA
2004
Springer
14 years 3 months ago
Abductive Logic Programming with CIFF: System Description
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...
DAGSTUHL
2007
13 years 11 months ago
Expressing and Verifying Business Contracts with Abductive Logic Programming
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
SWAP
2008
13 years 11 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...
UAI
1989
13 years 11 months ago
Can Uncertainty Management be Realized in a Finite Totally Ordered Probability Algebra?
In this paper, the feasibility of using finite totally ordered probability models under Aleliunas’s Theory of Probabilistic Logic [Aleliunas, 1988] is investigated. The general...
Yang Xiang, Michael P. Beddoes, David Poole
AMAI
1999
Springer
13 years 9 months ago
From Logic Programming Towards Multi-Agent Systems
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
Robert A. Kowalski, Fariba Sadri