1426 search results - page 71 / 286 » Specification of nonmonotonic reasoning |
140
click to vote
ENTCS
2006
15 years 4 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
138
click to vote
IAT
2010
IEEE
15 years 2 months ago
2010
IEEE
Significant increase in collected data for investigative tasks and the increased complexity of the reasoning process itself have made investigative analytical tasks more challengi...
143
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
161
click to vote
TPLP
2002
15 years 4 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
124
click to vote
AH
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Applying traditional Adaptive Hypermedia techniques to the personalization of news can pose a number of problems. The first main difficulty is the fact that news is inher...