Sciweavers

1664 search results - page 78 / 333
» Towards Partial Reasoning
Sort
View
88
Voted
WECWIS
2005
IEEE
103views ECommerce» more  WECWIS 2005»
15 years 6 months ago
An Auction for Scheduling Delivery of Highly Demanded Products
We present a simple auction protocol for the sale of overdemanded goods with a delivery schedule. Under some reasonable assumptions, our mechanism is incentive compatible, collect...
Sameer Korrapati, Peter R. Wurman
TIME
2002
IEEE
15 years 5 months ago
A Finite-State Approach to Event Semantics
Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant finite autom...
Tim Fernando
TPHOL
2003
IEEE
15 years 6 months ago
First Order Logic with Domain Conditions
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
Freek Wiedijk, Jan Zwanenburg
98
Voted
AAAI
1994
15 years 2 months ago
Towards More Creative Case-Based Design Systems
Case-based reasoning (CBR) has a great deal to o er in supporting creative design, particularly processes that rely heavily on previous design experience, such as framing the prob...
Linda M. Wills, Janet L. Kolodner
RAS
2010
164views more  RAS 2010»
14 years 11 months ago
Towards performing everyday manipulation activities
This article investigates fundamental issues in scaling autonomous personal robots towards open-ended sets of everyday manipulation tasks which involve high complexity and vague j...
Michael Beetz, Dominik Jain, Lorenz Mösenlech...