168
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-...
133
click to vote
KR
15 years 10 months ago
2004 Springer 
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...
124
click to vote
KR
15 years 10 months ago
2004 Springer 
In this paper, we propose a framework that provides software and robotic agents with the ability to ask approximate questions to each other in the context of heterogeneous ontolog...
165
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...
167
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...
|
Automated Reasoning