Sciweavers

1391 search results - page 7 / 279
» Knowledge Retrieval (KR)
Sort
View
KR
1998
Springer
13 years 11 months ago
Foundations of Spatioterminological Reasoning with Description Logics
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
Volker Haarslev, Carsten Lutz, Ralf Möller
KR
2004
Springer
14 years 22 days ago
Reasoning about Knowledge by Variable Forgetting
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...
Kaile Su, Guanfeng Lv, Yan Zhang
KR
2004
Springer
14 years 22 days ago
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
Yves Martin, Iman Narasamdya, Michael Thielscher
KR
2010
Springer
14 years 4 days ago
Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms
In constraint or preference reasoning, a typical task is to compute a solution, or an optimal solution. However, when one has already a solution, it may be important to produce th...
Ronen I. Brafman, Francesca Rossi, Domenico Salvag...