4617 search results - page 325 / 924 » Automation of Diagrammatic Reasoning |
188
click to vote
ECSQARU
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. This paper discusses the relationship between incidence calculus and the ATMS. It shows that managing labels for statements in an ATMS is similar to producing the inciden...
195
click to vote
LICS
1990
IEEE
15 years 10 months ago
1990
IEEE
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confiden...
218
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...
247
click to vote
ICCBR
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...
162
Voted
LPAR
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we determine the complexity of propositional theory curbing. Theory Curbing is a nonmonotonic technique of common sense reasoning that is based on model minimality b...