3776 search results - page 159 / 756 » Partition-Based Logical Reasoning |
113
Voted
TPHOL
1996
IEEE
15 years 7 months ago
1996
IEEE
We will present a Logic of Computable Functions based on the idea of Synthetic Domain Theory such that all functions are automatically continuous. Its implementation in the Lego pr...
125
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
154
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
119
Voted
IJCAI
1997
15 years 4 months ago
1997
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...
134
Voted
KI
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...