Search Sciweavers | Sciweavers

74 search results - page 1 / 15

» Coalition Description Logic with Individuals

Voted

ENTCS
2010

119views more ENTCS 2010»

Coalition Description Logic with Individuals

14 years 10 months ago

Download www2.in.tu-clausthal.de

Inanç Seylan, Wojciech Jamroga

claim paper

Read More »

106

Voted

JOLLI
2010

171views more JOLLI 2010»

A Dynamic Logic of Agency I: STIT, Capabilities and Powers

14 years 5 months ago

Download www.springerlink.com

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

claim paper

Read More »

click to vote

CSFW
2006
IEEE

98views Security Privacy» more CSFW 2006»

A Framework for Establishing Decentralized Secure Coalitions

15 years 4 months ago

Download www.cs.ucc.ie

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

claim paper

Read More »

click to vote

DLOG
2004

105views Automated Reasoning» more DLOG 2004»

The Instance Store: DL Reasoning with Large Numbers of Individuals

14 years 12 months ago

Download www.comlab.ox.ac.uk

We present an application

Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer

claim paper