268
click to vote
KR
16 years 8 days 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...
228
click to vote
KR
16 years 8 days 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...
215
click to vote
KR
16 years 8 days 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-...
212
click to vote
KR
16 years 8 days ago
2004 Springer
One of the major advances in classical planning has been the development of Graphplan. Graphplan builds a layered structure called the planning graph, and then searches this struc...
210
click to vote
KR
16 years 8 days 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