17049 search results - page 2980 / 3410 » cans 2007 |
217
click to vote
DLOG
2007
15 years 9 months ago
2007
In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
153
click to vote
EXACT
2007
15 years 9 months ago
2007
In the past five years, we have designed and evolved an interlingua for sharing explanations generated by various automated systems such as hybrid web-based question answering sys...
174
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Symbolic reasoning is a well understood and effective approach to handling reasoning over formally represented knowledge; however, simple symbolic inference systems necessarily sl...
175
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Ontologies are an increasingly important tool in knowledge representation, as they allow large amounts of data to be related in a logical fashion. Current research is concentrated...
178
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Intelligent systems need to store their experience so that it can be reused. A memory for such systems needs to efficiently organize and search previous experience and to retriev...