Sciweavers

1707 search results - page 11 / 342
» A Computational Model for Arguments Understanding
Sort
View
EXACT
2007
14 years 12 months ago
Exploitation of Argumentation Models for Mission Analysis
In a military context, the process of planning operations involves the assessment of the situation, the identification of the most appropriate course of action, the description of...
Micheline Bélanger
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
100
Voted
AI
2006
Springer
14 years 9 months ago
Generating and evaluating evaluative arguments
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...
Giuseppe Carenini, Johanna D. Moore
57
Voted
ATAL
2009
Springer
15 years 4 months ago
Inconsistency tolerance in weighted argument systems
We introduce and investigate a natural extension of Dung’s well-known model of argument systems in which attacks are associated with a weight, indicating the relative strength o...
Paul E. Dunne, Anthony Hunter, Peter McBurney, Sim...
STOC
2004
ACM
142views Algorithms» more  STOC 2004»
15 years 10 months ago
Lower bounds for local search by quantum arguments
The problem of finding a local minimum of a black-box function is central for understanding local search as well as quantum adiabatic algorithms. For functions on the Boolean hype...
Scott Aaronson