2398 search results - page 223 / 480 » Knowledge Representation |
121
click to vote
ICTAI
2003
IEEE
15 years 10 months ago
2003
IEEE
We are investigating computational models for humancomputer interaction based on a uniform, declarative, knowledge representation. We describe a new implementation of our work cal...
137
click to vote
CAEPIA
2003
Springer
15 years 10 months ago
2003
Springer
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude ...
157
Voted
CADE
1999
Springer
15 years 9 months ago
1999
Springer
We present a PSpace algorithm that decides satisfiability of the graded modal logic Gr(KR)—a natural extension of propositional modal logic KR by counting expressions—which pl...
146
Voted
KR
1998
Springer
15 years 9 months ago
1998
Springer
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...
140
click to vote
AMAI
2004
Springer
15 years 8 months ago
2004
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Those programs assert code...