3773 search results - page 25 / 755 » Logical Reasoning |
TIME
2003
IEEE
15 years 2 months ago
2003
IEEE
115
click to vote
JELIA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
98
Voted
DLOG
2001
14 years 11 months ago
2001
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...
110
click to vote
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
91
Voted
DLOG
2007
14 years 12 months ago
2007
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...