1470 search results - page 144 / 294 » An Introduction to Description Logics |
183
click to vote
CONTEXT
2007
Springer
16 years 19 days ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
166
click to vote
DLOG
2007
15 years 8 months ago
2007
We present a query answering technique based on notions and results from modal Correspondence Theory. It allows us to answer a wide family of conjunctive queries by polynomial redu...
207
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Data mining focuses on the development of methods and algorithms for such tasks as classification, clustering, rule induction, and discovery of associations. In the database fiel...
147
click to vote
IGPL
2007
15 years 6 months ago
2007
In the School of Mathematical Sciences at Queen Mary in the University of London we have been running a module that teaches the students to write good mathematical English. The mo...
172
click to vote
JOLLI
2007
15 years 6 months ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...