1460 search results - page 3 / 292 » Preferential Description Logics |
SEMWEB
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
RELMICS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We introduce an implication-with-possible-exceptions and define validity of rules-withpossible-exceptions by means of the topological notion of a full subset. Our implica...
STOC
2007
ACM
14 years 7 months ago
2007
ACM
The design of algorithms on complex networks, such as routing, ranking or recommendation algorithms, requires a detailed understanding of the growth characteristics of the network...
RULEML
2004
Springer
14 years 23 days ago
2004
Springer
We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.
WWW
2003
ACM
14 years 8 months ago
2003
ACM
