Sciweavers

163 search results - page 15 / 33
» What is an Argument
Sort
View
SYNTHESE
2008
51views more  SYNTHESE 2008»
13 years 8 months ago
Rebutting formally valid counterexamples to the Humean "is-ought" dictum
Various formally valid counterexamples have been adduced against the Humean dictum that one cannot derive an "ought" from an "is." There are formal rebuttals--s...
Daniel Guevara
CC
2004
Springer
134views System Software» more  CC 2004»
13 years 11 months ago
Widening Integer Arithmetic
Abstract. Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit targe...
Kevin Redwine, Norman Ramsey
ATAL
2007
Springer
14 years 2 months ago
A generative inquiry dialogue system
The majority of existing work on agent dialogues considers negotiation, persuasion or deliberation dialogues. We focus on inquiry dialogues that allow two agents to share knowledg...
Elizabeth Black, Anthony Hunter
ICDT
1997
ACM
108views Database» more  ICDT 1997»
14 years 4 days ago
Incorporating User Preferences in Multimedia Queries
A “scoring rule” is an assignment of a value to every tuple (of varying sizes). This paper is concerned with the issue of how to modify a scoring rule to apply to the case whe...
Ronald Fagin, Edward L. Wimmers
BIRTHDAY
2006
Springer
13 years 11 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