4623 search results - page 577 / 925 » Knowledge Representation on the Web |
CAEPIA
2003
Springer
15 years 4 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 ...
CAISE
2003
Springer
15 years 4 months ago
2003
Springer
The unique selling point of XML as standard representation of content is its ease of use thus facilitating interoperability between various partners and platforms. To overcome XML ...
105
click to vote
CADE
1999
Springer
15 years 3 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...
ISIPTA
1999
IEEE
15 years 3 months ago
1999
IEEE
This paper reviews algorithms for local computation with imprecise probabilities. These algorithms try to solve problems of inference calculation of conditional or unconditional p...
99
Voted
KR
1998
Springer
15 years 3 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...