Sciweavers

5243 search results - page 248 / 1049
» Reasoning About Strategies
Sort
View
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 11 months ago
Branch Bank Network Structure with Electronic Transactions Considerations
The paper applies an economic model of a competitive market for retail banking services to generate insights into the following relevant questions. Is the cost structure of electr...
Reynold E. Byers, Phillip J. Lederer
IJCAI
1989
15 years 7 months ago
Learning to Diagnose by Doing
This paper is a study on the process of evolution of a novice to an expert in a diagnostic context. In er, we have chosen an abstract example of a diagnostic problem. The results ...
Jayant Kalagnanam, Eswaran Subrahmanian
LICS
2006
IEEE
16 years 20 days ago
Coinductive Proof Principles for Stochastic Processes
We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when soluti...
Dexter Kozen
WECWIS
2005
IEEE
103views ECommerce» more  WECWIS 2005»
16 years 7 days 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
LPAR
2005
Springer
16 years 4 days ago
Programming Cognitive Agents in Defeasible Logic
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
Mehdi Dastani, Guido Governatori, Antonino Rotolo,...