895 search results - page 26 / 179 » A Spectrum of Applications of Automated Reasoning |
163
click to vote
DLOG
2003
15 years 7 months ago
2003
Transitive roles are important for adequate representation of knowledge in a range of applications. In this paper we present a first algorithm to compute least common subsumers i...
131
click to vote
DLOG
2003
15 years 7 months ago
2003
In this paper we formalise compilation of the conjunctive bodies of a restricted class of Horn rules into updates on terminologies. This involves a pre-processing of the graphs re...
136
click to vote
IJCAI
2003
15 years 7 months ago
2003
This paper demonstrates the applicability of automated reasoning to text processing, specifically to Question Answering. It is shown that the approach is feasible, effective, and ...
133
click to vote
ISCAS
2007
IEEE
16 years 7 days ago
2007
IEEE
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
199
click to vote
LPNMR
2007
Springer
16 years 2 days ago
2007
Springer
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...