Sciweavers

4209 search results - page 359 / 842
» Abstract Dialectical Frameworks
Sort
View
180
Voted
CSL
2010
Springer
15 years 8 months ago
Graded Computation Tree Logic with Binary Coding
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...
Alessandro Bianco, Fabio Mogavero, Aniello Murano
206
Voted
ECAI
2010
Springer
15 years 8 months ago
A contextual reading of conditional commitments
Abstract. This paper puts forward a view on conditional commitments as causal rules, using action language K as the specification framework. The proposal builds upon an operational...
Juan Manuel Serrano, Sergio Saugar, Rosario Lauren...
CNL
2009
15 years 8 months ago
Implementing Controlled Languages in GF
Abstract. The paper introduces GF, Grammatical Framework, as a tool for implementing controlled languages. GF provides a high-level grammar formalism and a resource grammar library...
Krasimir Angelov, Aarne Ranta
ERCIMDL
2010
Springer
144views Education» more  ERCIMDL 2010»
15 years 8 months ago
A New Perspective on Collection Selection
Abstract. Collection selection is traditionally a sub-problem of metasearch, and identifies collections most likely to contain relevant documents. However, we propose to treat coll...
Helen Dodd, George Buchanan, Matt Jones
184
Voted
DAWAK
2009
Springer
15 years 8 months ago
Preference-Based Recommendations for OLAP Analysis
Abstract. This paper presents a framework for integrating OLAP and recommendations. We focus on the anticipatory recommendation process that assists the user during his OLAP analys...
Houssem Jerbi, Franck Ravat, Olivier Teste, Gilles...