Sciweavers

1316 search results - page 82 / 264
» Intelligent Agents: Issues and Logics
Sort
View
FLAIRS
2000
14 years 11 months ago
Distributed Multi-Agent MSBN: Implementing Verification
Multiply Sectioned Bayesian Networks (MSBN)provide a coherence framework for multi-agent distributed interpretation tasks. Duringthe construction or dynamicformation of an MSBN,au...
Hongyu Geng, Yang Xiang
LORI
2009
Springer
15 years 4 months ago
Expressing Properties of Coalitional Ability under Resource Bounds
We introduce Coalition Logic for Resource Games (CLRG) which extends Coalition Logic by allowing explicit reasoning about resource endowments of coalitions of agents and resource b...
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, A...
ATAL
2007
Springer
15 years 4 months ago
Distributed Norm Enforcement Via Ostracism
Abstract. An agent normative society has to deal with two main concerns: how to define norms and how to enforce them. Enforcement becomes a complex issue as agent societies become...
Adrian Perreau de Pinninck, Carles Sierra, W. Marc...
ECAI
2010
Springer
14 years 10 months ago
Higher-Order Coalition Logic
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...
Guido Boella, Dov M. Gabbay, Valerio Genovese, Lee...
AAAI
2008
15 years 7 days ago
Argument Theory Change Applied to Defeasible Logic Programming
In this article we work on certain aspects of the belief change theory in order to make them suitable for argumentation systems. This approach is based on Defeasible Logic Program...
Martín O. Moguillansky, Nicolás D. R...