393 search results - page 27 / 79 » Probabilistic Description Logic Programs |
114
click to vote
ERCIMDL
2007
Springer
15 years 6 months ago
2007
Springer
Annotations are an important part in today’s digital libraries and Web information systems as an instrument for interactive knowledge creation. Annotation-based document retrieva...
105
Voted
ICLP
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
115
click to vote
APIN
2000
15 years 9 days 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...
131
click to vote
EPIA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
109
click to vote
CCS
2006
ACM
15 years 4 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...