3082 search results - page 52 / 617 » its 2004 |
AIML
2004
13 years 10 months ago
2004
In this paper we give the notion of modularity of a theory and analyze some of its properties, especially for the case of action theories in reasoning about actions. We propose alg...
DATESO
2004
13 years 10 months ago
2004
Abstract. The aim of the article is to inform about the INEX initiative, its testing data set, actual results, and future plans. We discuss and demonstrate possible utilization of ...
DATESO
2004
13 years 10 months ago
2004
This paper is concerned with storing XML data in a native repository suitable for querying with modern languages such as XPath or XQuery. It contains a description of the experimen...
DLOG
2004
13 years 10 months ago
2004
In this paper, we propose a tableau-based technique for reasoning with various distributed DL knowledge bases. This technique can be applied both to DDLs and to new and relevant s...
FLAIRS
2004
13 years 10 months ago
2004
This paper describes a novel architecture for a casebased reasoning (CBR) system. Unlike other agent CBR systems in this architecture every case is an autonomous agent with its ow...