2291 search results - page 233 / 459 » Representational Reasoning and Verification |
102
Voted
KI
2007
Springer
15 years 6 months ago
2007
Springer
The relationship and possible interplay between different knowledge representation and reasoning paradigms is a fundamental topic in artificial intelligence. For expressive knowl...
ISMIS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Information graphics such as bar, line and pie charts appear frequently in electronic media and often contain information that is not found elsewhere in documents. Unfort...
105
Voted
AGENTCL
2003
Springer
15 years 6 months ago
2003
Springer
Commitments are a powerful representation for modeling multiagent interactions. Previous approaches have considered the semantics of commitments and how to check compliance with th...
118
Voted
EUROCRYPT
2003
Springer
15 years 6 months ago
2003
Springer
At CRYPTO 2000, a new public-key encryption based on braid groups was introduced. This paper demonstrates how to solve its underlying problem using the Burau representation. By thi...
98
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...