2291 search results - page 233 / 459 » Representational Reasoning and Verification |
174
click to vote
KI
2007
Springer
16 years 22 days 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...
147
click to vote
ISMIS
2005
Springer
16 years 3 days 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...
183
click to vote
AGENTCL
2003
Springer
15 years 12 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...
184
click to vote
EUROCRYPT
2003
Springer
15 years 11 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...
188
click to vote
ECAI
2006
Springer
15 years 10 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...