Multimodal logic

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

Alessio Lomuscio, Hongyang Qu, Franco Raimondi

Citations: 290 • 2009

Safe Control under Uncertainty with Probabilistic Signal Temporal Logic

Dorsa Sadigh, Ashish Kapoor

Citations: 140 • 2016

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

Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models

Mattias Tiger, Fredrik Heintz

Citations: 19 • 2016

Possible events, actual events, and robots

Andrew Haas

Citations: 19 • 1985

Reasoning about Probabilities in Unbounded First-Order Dynamical Domains

Vaishak Belle, Gerhard Lakemeyer

Citations: 16 • 2017

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

Thomas Bolander, Lasse Dissing, Nicolai Herrmann

Citations: 15 • 2021

A commonsense theory of nonmonotonic reasoning

Frank M. Brown

Citations: 14 • 1986

A new modal logic for reasoning about space: spatial propositional neighborhood logic

Antonio Morales, Isabel Navarrete, Guido Sciavicco

Citations: 13 • 2007

DS-based uncertain implication rules for inference and fusion applications

Rafael C. Núñez, Ranga Dabarera, Matthias Scheutz, Gordon Briggs, Otávio Bueno, Kamal Premaratne, Manohar N. Murthi

Citations: 12 • 2013

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

Olivier Gasquet, Valentin Goranko

Citations: 11 • 2016

Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic

Antonio Morales, Guido Sciavicco

Citations: 11 • 2006

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

Inferring Place-Object Relationships by Integrating Probabilistic Logic and Multimodal Spatial Concepts

Shoichi Hasegawa, Akira Taniguchi, Yoshinobu Hagiwara, Lotfi El Hafi, Tadahiro Taniguchi

Citations: 10 • 2023

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

Transaction Logic with Defaults and Argumentation Theories

Paul Fodor, Michael Kifer

Citations: 7 • 2011