Sciweavers

4 search results - page 1 / 1
» A Constructive Semantic Characterization of Aggregates in AS...
Sort
View
CORR
2006
Springer
88views Education» more  CORR 2006»
13 years 7 months ago
A Constructive Semantic Characterization of Aggregates in ASP
Tran Cao Son, Enrico Pontelli
FUIN
2010
137views more  FUIN 2010»
13 years 4 months ago
Extending and Implementing RASP
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
Stefania Costantini, Andrea Formisano, Davide Pett...
ICLP
2007
Springer
14 years 1 months ago
Generic Tableaux for Answer Set Programming
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
Martin Gebser, Torsten Schaub
DMDW
2001
100views Management» more  DMDW 2001»
13 years 8 months ago
Understanding Analysis Dimensions in a Multidimensional Object-Oriented Model
OLAP defines a set of data warehousing query tools characterized by providing a multidimensional view of data. Information can be shown at different aggregation levels (often call...
Alberto Abelló, José Samos, Fè...