3005 search results - page 184 / 601 » Logical Information Systems: from Taxonomies to Logics |
180
click to vote
ICLP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
172
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper presents our progress on OpenVL - a novel software architecture to address efficiency through facilitating hardware acceleration, reusability and scalability for comput...
150
click to vote
CALCO
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
164
click to vote
SIGIR
2004
ACM
15 years 12 months ago
2004
ACM
Applying Belief Revision logic to model adaptive information retrieval is appealing since it provides a rigorous theoretical foundation to model partiality and uncertainty inheren...
182
click to vote
SEMWEB
2007
Springer
16 years 20 days ago
2007
Springer
This paper presents our first participation in the OAEI 2007 campaign. It describes an approach to align taxonomies which relies on terminological and structural techniques applie...