219
click to vote
KR
15 years 10 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...
175
click to vote
KR
15 years 10 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-...
174
click to vote
KR
15 years 10 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...
171
click to vote
KR
15 years 10 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...
166
click to vote
KR
15 years 10 months ago
2004 Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
|
Automated Reasoning