895 search results - page 14 / 179 » A Spectrum of Applications of Automated Reasoning |
ICTL
1994
15 years 1 months ago
1994
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
DLOG
2004
14 years 11 months ago
2004
The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of ...
DEON
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. In this paper, following the work of Hare, we consider moral reasoning not as the application of moral norms and principles, but as reasoning about what ought to be done ...
RWEB
2005
Springer
15 years 3 months ago
2005
Springer
A number of techniques have been developed to facilitate powerful data retrieval on the Web and Semantic Web. Three categories of Web query languages can be distinguished, accordin...
DLOG
2009
14 years 7 months ago
2009
The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life sci...