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:Dynamic logic and propositional assignments
Speaker:Andreas Herzig
coming from:CNRS, Univ. Toulouse
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:Wednesday, 16 August 2017
Time:14:00
Duration:60 Minutes
Location:Saarbrücken
Building:E1 4
Room:024
Abstract
In this talk I present Dynamic Logic of Propositional
Assignments(DL-PA): an instance of Propositional Dynamic Logic whose
atomic programs are assignments of propositional variables. I will in
particular establish the relation with Quantified Boolean Formulas,
coming with complexity, expressivity and succinctness results. I show
how several popular knowledge representation formalisms can be captured
in DL-PA, including update and revision operations and planning tasks
and their modification.
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/MPI-INF, 07/25/2017 11:24 AM
Last modified:
Uwe Brahm/MPII/DE, 08/16/2017 07:01 AM
  • Jennifer Müller, 07/25/2017 11:25 AM -- Created document.