Sciweavers

8838 search results - page 49 / 1768
» Generalizing Domain Theory
Sort
View
ATAL
2010
Springer
13 years 10 months ago
Dependence theory via game theory
In the multi-agent systems community, dependence theory and game theory are often presented as two alternative perspectives on the analysis of social interaction. Up till now no r...
Davide Grossi, Paolo Turrini
ATAL
2005
Springer
14 years 3 months ago
Negotiating over small bundles of resources
When rational but myopic agents negotiate over the exchange of indivisible resources, any restriction to the negotiation protocol may prevent the system from converging to a socia...
Yann Chevaleyre, Ulle Endriss, Jérôme...
AAAI
1996
13 years 11 months ago
Formalizing Narratives Using Nested Circumscription
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
Chitta Baral, Alfredo Gabaldon, Alessandro Provett...
IMPERIAL
1993
14 years 1 months ago
Deriving Category Theory from Type Theory
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
Roy L. Crole
TSE
1998
109views more  TSE 1998»
13 years 9 months ago
An Evaluation of the MOOD Set of Object-Oriented Software Metrics
—This paper describes the results of an investigation into a set of metrics for object-oriented design, called the MOOD metrics. The merits of each of the six MOOD metrics is dis...
Richard H. Carver, Steve Counsell, Reuben V. Nithi