4192 search results - page 29 / 839 » Probabilistic Logic Programming |
156
Voted
FOSSACS
2006
Springer
15 years 5 months ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
110
click to vote
ALP
1994
Springer
15 years 6 months ago
1994
Springer
This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...
97
Voted
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets ...
125
Voted
HUMO
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we introduce a first-order probabilistic model that combines multiple cues to classify human activities from video data accurately and robustly. Our system works in...
191
Voted
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
