1137 search results - page 94 / 228 » Knowledge Representation with Logic Programs |
154
Voted
COLING
2010
14 years 11 months ago
2010
We present a transformation scheme that mediates between description logics (DL) or RDF-encoded ontologies and type hierarchies in feature logics (FL). The DL-to-FL direction is i...
149
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
163
click to vote
MIDDLEWARE
2007
Springer
15 years 11 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
162
Voted
ERCIMDL
2007
Springer
15 years 11 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...
149
click to vote
AICOM
2006
15 years 4 months 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...