2476 search results - page 262 / 496 » Faceted Knowledge Representation |
116
click to vote
ICTAI
2003
IEEE
15 years 9 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...
134
click to vote
CAEPIA
2003
Springer
15 years 9 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 ...
130
click to vote
CAISE
2003
Springer
15 years 9 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 ...
153
click to vote
CADE
1999
Springer
15 years 8 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...
137
click to vote
ISIPTA
1999
IEEE
15 years 8 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...