3207 search results - page 278 / 642 » A Semantics for HTN Methods |
144
Voted
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies th...
142
click to vote
AUSAI
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
164
click to vote
TABLEAUX
1997
Springer
15 years 8 months ago
1997
Springer
Free-variable semantic tableaux are a well-established technique for first-order theorem proving where free variables act as a meta-linguistic device for tracking the eigenvariabl...
126
Voted
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...
119
click to vote
DBPL
1987
Springer
15 years 8 months ago
1987
Springer
This paper investigates a method to represent database objects as typed expressions in programming languages. A simple typed language supporting non-flat records, higher-order rel...