Sciweavers

5378 search results - page 65 / 1076
» Base Logics in Argumentation
Sort
View
193
Voted
ICDT
2009
ACM
127views Database» more  ICDT 2009»
16 years 16 days ago
A logical account of uncertain databases based on linear logic
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
Sungwoo Park, Seung-won Hwang
IBERAMIA
2004
Springer
15 years 11 months ago
Well Founded Semantics for Logic Program Updates
Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models sema...
Federico Banti, José Júlio Alferes, ...
SOFSEM
2000
Springer
15 years 9 months ago
Simplified Witness Tree Arguments
Abstract. In this paper we survey some results concerning balls-intobins-games and the power of two choices. We present a unified and rather elementary analysis for models in the p...
Thomas Schickinger, Angelika Steger
AI
2005
Springer
15 years 5 months ago
SCC-recursiveness: a general schema for argumentation semantics
entation theory, Dung's abstract framework provides a unifying view of several alternative semantics based on the notion of extension. In this context, we propose a general r...
Pietro Baroni, Massimiliano Giacomin, Giovanni Gui...
ATAL
2004
Springer
15 years 11 months ago
A Bayes Net Approach to Argumentation
Argumentation-based negotiation approaches have been proposed to present realistic negotiation contexts. This paper presents a novel Bayesian network based argumentation and decis...
Sabyasachi Saha, Sandip Sen