1151 search results - page 12 / 231 » Collaborative Programming: Applications of Logic and Automat... |
110
click to vote
LPNMR
2007
Springer
15 years 3 months ago
2007
Springer
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
111
click to vote
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
DLOG
2004
14 years 11 months ago
2004
We present an application
CADE
1994
Springer
15 years 1 months ago
1994
Springer
100
click to vote
ILP
2001
Springer
15 years 2 months ago
2001
Springer
In the line of previous work by S. Muggleton and C. Sakama, we extend the logical characterization of inductive logic programming, to normal logic programs under the stable models ...