159 search results - page 21 / 32 » Semantics of Termination |
AIML
2006
13 years 9 months ago
2006
We see a systematic set of cut-free axiomatisations for all the basic normal modal logics formed by some combination the axioms d, t, b, 4, 5. They employ a form of deep inference ...
SEBD
2004
13 years 9 months ago
2004
In this paper we give an overview of the coDB semantically well-founded P2P DB system. A network of databases, possibly with different schemas, are interconnected by means of GLAV ...
DAGSTUHL
1998
13 years 9 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
AAAI
1994
13 years 9 months ago
1994
We de ne the probabilistic planning problem in terms of a probability distribution over initial world states, a boolean combination of goal propositions, a probability threshold, ...
COLING
1996
13 years 9 months ago
1996
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...