Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Resolution-based Reasoning for Coalition Logic
Speaker:Ullrich Hustadt
coming from:University of Liverpool
Speakers Bio:
Event Type:Talk
Visibility:D1, D2, D3, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:Public Audience
Language:English
Date, Time and Location
Date:Thursday, 14 August 2014
Time:11:00
Duration:60 Minutes
Location:Saarbrücken
Building:E1 3 - Hörsaal Gebäude
Room:002
Abstract
Coalition Logic CL is a logic for reasoning about cooperative agency,
that is, a formalism intended to describe the ability of groups of
agents to achieve an outcome in a strategic game.

In this talk we discuss a resolution-based calculus for Coalition
Logic CL. The calculus operates on `coalition problems', a normal form
for CL, and the inference rules of the calculus provide the basis for
a decision procedure for the satisfiability problem in CL. We also
present some preliminary experimental results for two prototypical
implementations of the calculus for CL and compare both with a
tableau-based decision procedure.
Contact
Name(s):Jennifer Müller
Phone:2900
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
Created:Jennifer Müller/ZB/MPII/DE, 08/08/2014 11:58 AM Last modified:domino/MPII/DE, 10/08/2014 03:48 PM
  • Jennifer Müller, 08/08/2014 12:07 PM -- Created document.