Sciweavers

413 search results - page 23 / 83
» On the Relation Between ID-Logic and Answer Set Programming
Sort
View
167
Voted
SIGDIAL
2010
15 years 1 months ago
Towards an Empirically Motivated Typology of Follow-Up Questions: The Role of Dialogue Context
A central problem in Interactive Question Answering (IQA) is how to answer Follow-Up Questions (FU Qs), possibly by taking advantage of information from the dialogue context. We a...
Manuel Kirschner, Raffaella Bernardi
149
Voted
TLCA
2005
Springer
15 years 9 months ago
Subtyping Recursive Types Modulo Associative Commutative Products
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
Roberto Di Cosmo, François Pottier, Didier ...
156
Voted
TPLP
2002
117views more  TPLP 2002»
15 years 3 months ago
On Properties of Update Sequences Based on Causal Rejection
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
141
Voted
FOIKS
2008
Springer
15 years 5 months ago
An Alternative Foundation for DeLP: Defeating Relations and Truth Values
Abstract. In this paper we recast the formalism of argumentation formalism known as DeLP (Defeasible Logic Programming) in game-theoretic terms. By considering a game between a Pro...
Ignacio D. Viglizzo, Fernando A. Tohmé, Gui...
160
Voted
ESA
1995
Springer
182views Algorithms» more  ESA 1995»
15 years 7 months ago
A Geometric Approach to Betweenness
An input to the betweenness problem contains m constraints over n real variables (points). Each constraint consists of three points, where one of the points is specified to lie in...
Benny Chor, Madhu Sudan