Sciweavers

4708 search results - page 29 / 942
» Generating the Structure of Argument
Sort
View
COMMA
2010
14 years 4 months ago
Probabilistic Semantics for the Carneades Argument Model Using Bayesian Networks
Abstract. This paper presents a technique with which instances of argument structures in the Carneades model can be given a probabilistic semantics by translating them into Bayesia...
Matthias Grabmair, Thomas F. Gordon, Douglas Walto...
ATAL
2004
Springer
15 years 3 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
TLDI
2005
ACM
135views Formal Methods» more  TLDI 2005»
15 years 3 months ago
Types for describing coordinated data structures
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
Michael F. Ringenburg, Dan Grossman
LREC
2008
111views Education» more  LREC 2008»
14 years 11 months ago
Using Lexical Acquisition to Enrich a Predicate Argument Reusable Database
The work described in this paper aims to enrich the noun classifications of an existing database of lexical resources (de Matos and Ribeiro, 2004) adding missing information such ...
Paula Cristina Vaz, David Martins de Matos, Nuno J...
MFCS
2009
Springer
15 years 4 months ago
FO Model Checking on Nested Pushdown Trees
Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable µ-c...
Alexander Kartzow