2035 search results - page 351 / 407 » On the complexity of stratified logics |
ICALP
2010
Springer
15 years 22 days ago
2010
Springer
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...
DOLAP
2005
ACM
15 years 22 days ago
2005
ACM
Data warehouses and OLAP systems help to interactively analyze huge volume of data. This data, extracted from transactional databases, frequently contains spatial information whic...
108
click to vote
DOLAP
2005
ACM
15 years 22 days ago
2005
ACM
Online Analytical Processing is a powerful framework for the analysis of organizational data. OLAP is often supported by a logical structure known as a data cube, a multidimension...
102
click to vote
REST
2010
ACM
15 years 17 days ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
129
click to vote
CSCLP
2008
Springer
15 years 17 days ago
2008
Springer
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...