3691 search results - page 210 / 739 » Bayesian Logic Programs |
131
Voted
UM
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes the process by which we constructed a user model for ERST - an External Representation Selection Tutor - which recommends external representations (ERs) for pa...
159
click to vote
KI
2009
Springer
15 years 11 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
193
click to vote
APIN
2000
15 years 6 months ago
2000
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
181
click to vote
SAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...
175
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...