Sciweavers

726 search results - page 3 / 146
» Recent advances in computational models of natural argument
Sort
View
AI
2006
Springer
13 years 5 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
AH
2004
Springer
13 years 10 months ago
Recent Soft Computing Approaches to User Modeling in Adaptive Hypermedia
Abstract. The ability of an adaptive hypermedia system to create tailored environments depends mainly on the amount and accuracy of information stored in each user model. One of th...
Enrique Frías-Martínez, George D. Ma...
VMCAI
2010
Springer
14 years 2 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
AIS
2005
Springer
13 years 5 months ago
Computer decision-support systems for public argumentation: assessing deliberative legitimacy
Recent proposals for computer-assisted argumentation have drawn on dialectical models of argumentation. When used to assist public policy planning, such systems also raise questio...
William Rehg, Peter McBurney, Simon Parsons
ENTCS
2007
86views more  ENTCS 2007»
13 years 5 months ago
On the Non-sequential Nature of Domain Models of Real-number Computation
Escard´o, Hofmann and Streicher showed that real-number computations in the interval-domain environment are inherently parallel, in the sense that they imply the presence of weak...
Thomas Anberrée