2395 search results - page 270 / 479 » Reasoning in Semantic Wikis |
154
click to vote
TABLEAUX
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
132
click to vote
ECSQARU
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
126
click to vote
LPNMR
1995
Springer
15 years 8 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
163
click to vote
DALT
2007
Springer
15 years 6 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
144
click to vote
AIM
2005
15 years 4 months ago
2005
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...