Sciweavers

31 search results - page 2 / 7
» aiia 2007
Sort
View
AIIA
2007
Springer
14 years 5 months ago
Ranking and Reputation Systems in the QBF Competition
Abstract. Systems competitions play a fundamental role in the advancement of the state of the art in several automated reasoning fields. The goal of such events is to answer the q...
Massimo Narizzano, Luca Pulina, Armando Tacchella
AIIA
2007
Springer
14 years 5 months ago
Curricula Modeling and Checking
In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, groun...
Matteo Baldoni, Cristina Baroglio, Elisa Marengo
AIIA
2007
Springer
14 years 5 months ago
A Tree Kernel-Based Shallow Semantic Parser for Thematic Role Extraction
We present a simple, two-steps supervised strategy for the identification and classification of thematic roles in natural language texts. We employ no external source of informat...
Daniele Pighin, Alessandro Moschitti
AIIA
2007
Springer
14 years 5 months ago
A Comparison of Genetic Algorithms for Optimizing Linguistically Informed IR in Question Answering
In this paper we compare four selection strategies in evolutionary optimization of information retrieval (IR) in a question answering setting. The IR index has been augmented by li...
Jörg Tiedemann
AIIA
2007
Springer
14 years 5 months ago
A Top Down Interpreter for LPAD and CP-Logic
Logic Programs with Annotated Disjunctions and CP-logic are two different but related languages for expressing probabilistic information in logic programming. The paper presents a...
Fabrizio Riguzzi