522 search results - page 93 / 105 » Real-time Logics: Complexity and Expressiveness |
LPNMR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
ICDT
2001
ACM
14 years 27 days ago
2001
ACM
A number of efficient methods for evaluating first-order and monadic-second order queries on finite relational structures are based on tree-decompositions of structures or quer...
SIGSOFT
2000
ACM
14 years 24 days ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
DBPL
1999
Springer
14 years 22 days ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
EATIS
2007
ACM
14 years 11 days ago
2007
ACM
In this paper we propose an ontology based representation of the affective states for context aware applications that allows expressing the complex relations that are among the af...