Sciweavers

140 search results - page 16 / 28
» Logic Programming, Abduction and Probability
Sort
View
ICLP
2004
Springer
14 years 3 months ago
Possible Worlds Semantics for Probabilistic Logic Programs
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
Alex Dekhtyar, Michael I. Dekhtyar
ILP
2004
Springer
14 years 3 months ago
Learning Logic Programs with Annotated Disjunctions
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
Fabrizio Riguzzi
CORR
2011
Springer
151views Education» more  CORR 2011»
13 years 4 months ago
Temporal Probabilistic Logic Programs: State and Revision
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for v...
Zoran Majkic
ESWS
2007
Springer
14 years 1 months ago
Web Service Contracting: Specification and Reasoning with SCIFF
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
CORR
2008
Springer
151views Education» more  CORR 2008»
13 years 10 months ago
Checking the Quality of Clinical Guidelines using Automated Reasoning Tools
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
Arjen Hommersom, Peter J. F. Lucas, Patrick van Bo...