1814 search results - page 219 / 363 » Extended First-Order Logic |
142
click to vote
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logic programming technology, namely on the dlvhex system, which allows ...
114
click to vote
DOCENG
2009
ACM
15 years 10 months ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
116
click to vote
RV
2007
Springer
15 years 10 months ago
2007
Springer
When monitoring a system wrt. a property deļ¬ned in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...
111
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
108
click to vote
MICRO
2005
IEEE
15 years 9 months ago
2005
IEEE
Large numbers of logical registers can improve performance by allowing fast access to multiple subroutine contexts (register windows) and multiple thread contexts (multithreading)...