3773 search results - page 262 / 755 » Logical Reasoning |
170
click to vote
DLOG
2008
15 years 9 months ago
2008
Least Common Subsumers in Description Logics have shown their usefulness for discovering commonalities among all concepts of a collection. Several applications are nevertheless foc...
175
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
174
click to vote
AIML
2006
15 years 8 months ago
2006
We propose a framework for comparing the expressive power and computational behaviour of modal logics designed for reasoning about qualitative aspects of metric spaces. Within this...
164
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
184
Voted
ACL2
2006
ACM
16 years 18 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...