166
click to vote
KR
15 years 7 months ago
2004 Springer 
We discuss the representation of knowledge and of belief from the viewpoint of decision theory. While the Bayesian approach enjoys general-purpose applicability and axiomatic foun...
148
click to vote
KR
15 years 7 months ago
2004 Springer
The demand for ontologies is rapidly growing especially due to developments in knowledge management, E-commerce and the Semantic Web. Building an ontology and a background knowled...
146
click to vote
KR
15 years 7 months ago
2004 Springer 
Negotiation plays a key role as a means for sharing information and resources with the aim of looking for a common agreement. This paper proposes a new approach based on possibili...
145
click to vote
KR
15 years 7 months ago
2004 Springer 
Building on earlier attempts to characterise robot perception as a form of abduction, this paper presents a logical account of active visual perception in the context of an upper-...
140
click to vote
KR
15 years 7 months ago
2004 Springer 
In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason abo...
|
Automated Reasoning