Epistemic modal logic

MCMAS: A Model Checker for the Verification of Multi-Agent Systems

Alessio Lomuscio, Hongyang Qu, Franco Raimondi

Citations: 290 • 2009

A Simple and Tractable Extension of Situation Calculus to Epistemic Logic

Robert Demolombe, Maria del Pilar Pozos Parra

Citations: 50 • 2000

Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic

Lasse Dissing, Thomas Bolander

Citations: 36 • 2020

DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation

Thomas Bolander, Lasse Dissing, Nicolai Herrmann

Citations: 15 • 2021

Epistemic planning: Perspectives on the special issue

Vaishak Belle, Thomas Bolander, Andreas Herzig, Bernhard Nebel

Citations: 14 • 2022

Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane

Olivier Gasquet, Valentin Goranko

Citations: 11 • 2016

A Program Refinement Framework Supporting Reasoning about Knowledge and Time

Kai Engelhardt, Ron van der Meyden, Yoram Moses

Citations: 11 • 2000

Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems

Olivier Gasquet, Valentin Goranko, François Schwarzentruber

Citations: 10 • 2015

Communication and propagation of action knowledge in multi-agent systems

Holger Friedrich, O. Rogalla, Rüdiger Dillmann

Citations: 9 • 1999

Knowledge and Distributed computation

Mark R. Tuttle

Citations: 9 • 1989

Decision Procedures for Epistemic Logic Exploiting Belief Bases

Emiliano Lorini, Benito Fabian Romero Jimenez

Citations: 8 • 2019

Introduction to Logic-Based Artificial Intelligence

Jack Minker

Citations: 7 • 2000

Seeing, Knowledge and Common Knowledge

François Schwarzentruber

Citations: 6 • 2011

Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators

Roy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut

Citations: 6 • 2013

RACER: Epistemic Risk-Sensitive RL Enables Fast Driving with Fewer Crashes

Kyle Stachowicz, Sergey Levine

Citations: 4 • 2024

Learning in a Changing World, an Algebraic Modal Logical Approach

Prakash Panangaden, Mehrnoosh Sadrzadeh

Citations: 4 • 2011

Knowledge in Lineland (Extended Abstract)

Olivier Gasquet, François Schwarzentruber

Citations: 2 • 2010

Using Common Sense Invariants in Belief Management for Autonomous Agents

Clemens Mühlbacher, Gerald Steinbauer

Citations: 2 • 2014