1151 search results - page 69 / 231 » Collaborative Programming: Applications of Logic and Automat... |
111
click to vote
ICLP
1998
Springer
15 years 7 months ago
1998
Springer
The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by ...
138
click to vote
ILP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
120
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
103
click to vote
ILP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
118
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...