Campus Event Calendar
Event Entry
What and Who
Dynamic logic and propositional assignments
Andreas Herzig
CNRS, Univ. Toulouse
Talk
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI
Public Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 16 August 2017
14:00
60 Minutes
E1 4
024
Saarbrücken
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.
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
Jennifer Müller
2900
--email hidden
passcode not visible
logged in users only
Jennifer Müller, 07/25/2017 11:25 -- Created document.