3573 search results - page 17 / 715 » Reasoning about Codata |
119
Voted
PADL
2004
Springer
15 years 5 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
113
Voted
UAI
1994
15 years 1 months ago
1994
A logic is de ned that allows to express information about statistical probabilities and about degrees of belief in speci c propositions. By interpreting the twotypes of probabili...
94
Voted
TARK
2009
Springer
15 years 7 months ago
2009
Springer
71
Voted
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
72
Voted
LPAR
2004
Springer
15 years 5 months ago
2004
Springer