1368 search results - page 92 / 274 » Personality-Based Practical Reasoning |
112
click to vote
POPL
1998
ACM
15 years 7 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...
115
click to vote
TPHOL
1996
IEEE
15 years 7 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
132
click to vote
LPKR
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. This paper presents an extension of disjunctive datalog (Datalog∨ ) by nested rules. Nested rules are (disjunctive) rules where elements of the head may be also rules. ...
113
click to vote
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another obj...
114
Voted
CADE
1994
Springer
15 years 7 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...