887 search results - page 19 / 178 » A Science of Reasoning |
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
— Service oriented architectures (SOA) have been introduced for various reasons over the previous couple of
ACSC
2002
IEEE
14 years 1 months ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
ACSC
2004
IEEE
14 years 17 days ago
2004
IEEE
We have been investigating ways in which the performance of model elimination based systems can be improved and in this paper we present some of our results. Firstly, we have inve...
KSEM
2007
Springer
14 years 2 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...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community: