Sciweavers

163 search results - page 18 / 33
» What is an Argument
Sort
View
ATAL
2003
Springer
13 years 11 months ago
Posit spaces: a performative model of e-commerce
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
Peter McBurney, Simon Parsons
JOLLI
2002
74views more  JOLLI 2002»
13 years 7 months ago
Referent Systems and Relational Grammar
Abstract. Relational Grammar (RG) was introduced in the 70's as a theory of grammatical relations and relation change, for example, passivization, dative shift, and raising. F...
Marcus Kracht
PUC
2007
123views more  PUC 2007»
13 years 7 months ago
Homes that make us smart
In this article we consider what it should mean to build ‘‘smartness’’ or ‘‘intelligence’’ into the home. We introduce an argument suggesting that it is people who ...
Alex S. Taylor, Richard H. R. Harper, Laurel Swan,...
VMCAI
2010
Springer
14 years 5 months ago
Considerate Reasoning and the Composite Design Pattern
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
Alexander J. Summers, Sophia Drossopoulou
JANCL
2002
121views more  JANCL 2002»
13 years 7 months ago
Approximate coherence-based reasoning
ABSTRACT. It has long been recognized that the concept of inconsistency is a central part of commonsense reasoning. In this issue, a number of authors have explored the idea of rea...
Frédéric Koriche