Sciweavers

4209 search results - page 359 / 842
» Abstract Dialectical Frameworks
Sort
View
CSL
2010
Springer
15 years 7 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
ECAI
2010
Springer
15 years 7 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 7 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 7 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
DAWAK
2009
Springer
15 years 7 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...