2273 search results - page 159 / 455 » On the Expressiveness and Complexity of ATL |
LICS
2002
IEEE
15 years 3 months ago
2002
IEEE
Monadic query languages over trees currently receive considerable interest in the database community, as the problem of selecting nodes from a tree is the most basic and widesprea...
ASP
2001
Springer
15 years 2 months ago
2001
Springer
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
LICS
2000
IEEE
15 years 2 months ago
2000
IEEE
We establish that the decidability of the first order theory of a class of finite structures ¢ is a simple and useful condition for guaranteeing that the expressive power of FO...
FSTTCS
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
ICTAI
1994
IEEE
15 years 2 months ago
1994
IEEE
Combining various knowledge types - and reasoning methods - in knowledge-based systems is a challenge to the knowledge representation task. The paper describes an object-oriented,...