393 search results - page 39 / 79 » Probabilistic Description Logic Programs |
104
Voted
JLP
2000
15 years 9 days ago
2000
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
PADL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
106
Voted
JAPLL
2006
15 years 14 days ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
110
Voted
AICOM
2006
15 years 17 days ago
2006
This paper presents an overview of recent systems for Inductive Logic Programming (ILP). After a short description of the two popular ILP systems FOIL and Progol, we focus on meth...
107
Voted
APN
2001
Springer
15 years 4 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...