11436 search results - page 57 / 2288 » Modeling Real Reasoning |
114
click to vote
DOLAP
2005
ACM
15 years 2 months ago
2005
ACM
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
102
Voted
AAAI
2000
15 years 2 months ago
2000
Certain problems in connection with, for example, cooperating agents and distributed systems require reasoning about time which is measured on incomparable or unsynchronized time ...
95
Voted
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
107
Voted
LPKR
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. This paper presents an extension of disjunctive datalog (Datalog∨ ) by nested rules. Nested rules are (disjunctive) rules where elements of the head may be also rules. ...
87
Voted
ASPDAC
2005
ACM
15 years 2 months ago
2005
ACM
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...