Sciweavers

1094 search results - page 76 / 219
» On Computing Explanations in Argumentation
Sort
View
SEMCO
2009
IEEE
15 years 5 months ago
LexPar: A Freely Available English Paraphrase Lexicon Automatically Extracted from FrameNet
—This is a paper about a new resource, namely an English paraphrase dictionary extracted from the FrameNet lexicon and its example data base. I. THE LEXPAR PARAPHRASE DICTIONARY ...
Bob Coyne, Owen Rambow
PERVASIVE
2005
Springer
15 years 4 months ago
Decision-Theoretic Planning Meets User Requirements: Enhancements and Studies of an Intelligent Shopping Guide
This paper reports on extensions to a decision-theoretic location-aware shopping guide and on the results of user studies that have accompanied its development. On the basis of the...
Thorsten Bohnenberger, Oliver Jacobs, Anthony Jame...
GROUP
2009
ACM
15 years 5 months ago
Supporting group decisions by mediating deliberation to improve information pooling
Group decision support systems (GDSS) hold significant potential for improving decision making, but they have not been broadly adopted. One reason for this is that these platforms...
Joshua Introne
BIRTHDAY
2006
Springer
15 years 2 months ago
Reductio ad Absurdum: Planning Proofs by Contradiction
Sometimes it is pragmatically useful to prove a theorem by contradiction rather than finding a direct proof. Some reductio ad absurdum arguments have made mathematical history and ...
Erica Melis, Martin Pollet, Jörg H. Siekmann
FOCS
2006
IEEE
15 years 5 months ago
A Local Switch Markov Chain on Given Degree Graphs with Application in Connectivity of Peer-to-Peer Networks
We study a switch Markov chain on regular graphs, where switches are allowed only between links that are at distance 3; we call this the Flip. The motivation for studying the Flip...
Tomás Feder, Adam Guetz, Milena Mihail, Ami...