238 search results - page 11 / 48 » Proof-Theoretic Approach to Description-Logic |
128
Voted
DLOG
2009
14 years 11 months ago
2009
Abstract. Multi-attribute negotiation has been extensively studied from a gametheoretic viewpoint. In negotiation settings, utility functions are used to express agent preferences....
133
Voted
IANDC
2008
15 years 1 months ago
2008
In the area of Description Logic (DL), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problem...
135
click to vote
DLOG
2001
15 years 3 months ago
2001
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
115
Voted
IJCAI
2007
15 years 3 months ago
2007
Abstract. We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge...
89
Voted
ICMCS
2005
IEEE
15 years 7 months ago
2005
IEEE
Large amount of images need an efficient way of retrieving them. The usual approach of manually annotating images and/or providing a syntactic retrieval capability lacks flexibi...