1435 search results - page 121 / 287 » Description Logics |
196
click to vote
HIS
2009
15 years 1 months ago
2009
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
132
click to vote
CLEF
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes in detail the combination of NLP methods applied to the treatment of logic forms in the topic processing and statistical methods applied to the search engine ...
114
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
144
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
106
Voted
KI
2008
Springer
15 years 3 months ago
2008
Springer
We describe a method for cascading Description Logic (DL) representation and reasoning on the one hand, and HTN action planning on the other. The planning domain description as wel...