Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, b...

Invited Talks.- From Inductive Logic Programming to Relational Data Mining.- Answer Set Programmi...

This book constitutes the refereed proceedings of the 7th German Conference on Multiagent Systems...

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Informatio...

Collection of revised papers originally presented at the 7th Conference on Logic and the Foundati...

Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers...

Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, b...