3891 search results - page 672 / 779 » A logic for strategic reasoning |
177
click to vote
LICS
2007
IEEE
16 years 20 days ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
194
click to vote
TIME
2007
IEEE
16 years 20 days ago
2007
IEEE
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
163
click to vote
ESWS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Software maintainers routinely have to deal with a multitude of artifacts, like source code or documents, which often end up disconnected, due to their different represen...
149
click to vote
ICLP
2007
Springer
16 years 16 days ago
2007
Springer
As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for any- and multiargument indexing becomes more...
171
click to vote
LOPSTR
2007
Springer
16 years 16 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...