Sciweavers

3729 search results - page 234 / 746
» On Formal Modeling of Agent Computations
Sort
View
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
15 years 10 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
AAAI
1993
15 years 8 months ago
Reasoning With Characteristic Models
Formal AI systems traditionally represent knowledge using logical formulas. We will show, however, that for certain kinds of information, a modelbased representation is more compa...
Henry A. Kautz, Michael J. Kearns, Bart Selman
SAC
2006
ACM
16 years 15 days ago
A dialogue on responsibility, moral agency, and IT systems
The dialogue that follows was written to express some of our ideas and remaining questions about IT systems, moral agency, and responsibility. We seem to have made some progress o...
Deborah G. Johnson, Keith W. Miller
ATAL
2004
Springer
15 years 12 months ago
A Pheromone-Based Utility Model for Collaborative Foraging
Multi-agent research often borrows from biology, where remarkable examples of collective intelligence may be found. One interesting example is ant colonies’ use of pheromones as...
Liviu Panait, Sean Luke
AMDO
2006
Springer
15 years 10 months ago
Agents with Personality for Videogames
This paper describes the design and implementation of a module of emotions and personality for synthetic actors. Here are presented the results of previous researches, which were t...
Diana Arellano Távara, Andreas Meier