3032 search results - page 326 / 607 » Description Logic Rules |
228
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
142
click to vote
JSAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
156
click to vote
LPKR
1997
Springer
15 years 8 months ago
1997
Springer
We present the system LAP (Learning Abductive Programs) that is able to learn abductive logic programs from examples and from a background abductive theory. A new type of induction...
125
click to vote
ECAI
1994
Springer
15 years 8 months ago
1994
Springer
Default logic, one of the best known formalisms to express common sense reasoning, does not allow to reason by cases in its standard formulations. We propose a natural and easy way...
145
click to vote
ROBOCUP
2000
Springer
15 years 7 months ago
2000
Springer
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...