3353 search results - page 162 / 671 » Laver and set theory |
292
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
166
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
178
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
174
click to vote
FOIS
2006
15 years 7 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
158
click to vote
AIPS
1994
15 years 7 months ago
1994
This paper presents an AI model of integrated planning and reaction based on neuropsychological theories of similar human behavior. The model forges a link between frontal lobe mo...