A Gentle Introduction to Epistemic Planning: The DEL Approach ⬇️

scientific article published on 6 March 2017

A Seligman-Style Tableau System

AI, Medier og Demokrati. Sådan styrker vi vores demokratiske immunforsvar ⬇️

Announcements to Attentive Agents

scientific article published on 18 December 2015

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief

scientific article published on 4 March 2016

Bisimulation for Single-Agent Plausibility Models

Completeness and termination for a Seligman-style tableau system

scientific article published on 28 September 2015

Conditional Epistemic Planning

Cooperative Epistemic Multi-Agent Planning for Implicit Coordination ⬇️

scientific article published on 6 March 2017

Demokratisk kontrol med tech-giganternes forretningsmodeller ⬇️

Epistemic planning for single- and multi-agent systems

article

Hybrid Logical Analyses of the Ambient Calculus

article

Hybrid logical analyses of the ambient calculus

article

Learning Actions Models: Qualitative Approach

Learning to act: qualitative learning of deterministic action models

Many-valued hybrid logic

Maximal Introspection of Agents

article published in 2002

Preface

Preface

Preface

Terminating Tableau Calculi for Hybrid Logics Extending K

Termination for Hybrid Tableaus