3 search results - page 1 / 1 » A Set-Theoretic Approach to Automated Deduction in Graded Mo... |
IJCAI
1997
14 years 5 days ago
1997
In the paper, we consider the problem of supporting automated reasoning in a large class of knowledge representation formalisms, including terminological and epistemic logics, who...
DLOG
2009
13 years 8 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
LICS
2007
IEEE
14 years 5 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...