140 search results - page 12 / 28 » Logic Programming, Abduction and Probability |
94
Voted
TARK
2005
Springer
15 years 5 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
116
click to vote
FLAIRS
2008
15 years 2 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
77
Voted
EPIA
2007
Springer
15 years 5 months ago
2007
Springer
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
120
click to vote
EUSFLAT
2009
14 years 9 months ago
2009
This paper uses a constraint set approach to linear programming problems with equality constraints whose coefficients and/or right-hand side values could be uncertain. We consider ...
186
Voted
POPL
2009
ACM
16 years 9 days ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...