5269 search results - page 114 / 1054 » order 2007 |
122
click to vote
KSEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
115
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...
120
click to vote
AMAI
2007
Springer
15 years 4 months ago
2007
Springer
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
151
click to vote
JCSS
2007
15 years 3 months ago
2007
The relative worst order ratio, a new measure for the quality of on-line algorithms, was recently defined and applied to two bin packing problems. Here, we extend the definition ...
113
click to vote
ARTMED
2005
15 years 4 months ago
2005
Time-related concepts handling is essential in medicine. During diagnosis it can make a substantial difference to know the temporal order in which some symptoms occurred or for ho...