1699 search results - page 149 / 340 » On the Expressive Power of QLTL |
179
click to vote
CSLP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents the basis of Property Grammars, a fully constraintbased theory. In this approach, all kinds of linguistic information is represented by means of const...
140
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that cap...
162
click to vote
LATIN
2004
Springer
15 years 12 months ago
2004
Springer
In a preceding paper [6], automata have been introduced for words indexed by linear orderings. These automata are a generalization of automata for finite, infinite, bi-infinite...
170
click to vote
LOPSTR
2004
Springer
15 years 12 months ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
198
click to vote
PADL
2004
Springer
15 years 12 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...