778 search results - page 93 / 156 » Expressiveness and complexity of graph logic |
138
Voted
DMDW
2000
15 years 1 months ago
2000
Data warehousing is a software infrastructure which supports OLAP applications by providing a collection of tools which allow data extraction and cleaning, data integration and ag...
139
click to vote
DALT
2005
Springer
15 years 6 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
101
click to vote
CDB
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have received ample research attention. In particular, the ex...
83
Voted
AAAI
2008
15 years 2 months ago
2008
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
150
Voted
APSCC
2010
IEEE
14 years 10 months ago
2010
IEEE
Software as a service (SaaS) is an emerging software framework in which business data and logic typically integrate with other applications. It requires a unified subscriber to des...