Sciweavers

74 search results - page 1 / 15
» Coalition Description Logic with Individuals
Sort
View
40
Voted
ENTCS
2010
119views more  ENTCS 2010»
14 years 9 months ago
Coalition Description Logic with Individuals
Inanç Seylan, Wojciech Jamroga
JOLLI
2010
171views more  JOLLI 2010»
14 years 4 months ago
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
Andreas Herzig, Emiliano Lorini
CSFW
2006
IEEE
15 years 3 months ago
A Framework for Establishing Decentralized Secure Coalitions
A coalition provides a virtual space across a network that allows its members to interact in a transparent manner. Coalitions may be formed for a variety of purposes. These range ...
Hongbin Zhou, Simon N. Foley
DLOG
2004
14 years 11 months ago
The Instance Store: DL Reasoning with Large Numbers of Individuals
We present an application
Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer
42
Voted
ATAL
2009
Springer
15 years 4 months ago
Description logic for coalitions
Inanç Seylan, Wojciech Jamroga