Multimodal logic

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

Alessio Lomuscio, Hongyang Qu, Franco Raimondi

引用数: 290 • 2009

Safe Control under Uncertainty with Probabilistic Signal Temporal Logic

Dorsa Sadigh, Ashish Kapoor

引用数: 140 • 2016

A Simple and Tractable Extension of Situation Calculus to Epistemic Logic

Robert Demolombe, Maria del Pilar Pozos Parra

引用数: 50 • 2000

Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic

Lasse Dissing, Thomas Bolander

引用数: 36 • 2020

Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models

Mattias Tiger, Fredrik Heintz

引用数: 19 • 2016

Possible events, actual events, and robots

Andrew Haas

引用数: 19 • 1985

Reasoning about Probabilities in Unbounded First-Order Dynamical Domains

Vaishak Belle, Gerhard Lakemeyer

引用数: 16 • 2017

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

Thomas Bolander, Lasse Dissing, Nicolai Herrmann

引用数: 15 • 2021

A commonsense theory of nonmonotonic reasoning

Frank M. Brown

引用数: 14 • 1986

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

Antonio Morales, Isabel Navarrete, Guido Sciavicco

引用数: 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

引用数: 12 • 2013

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

Olivier Gasquet, Valentin Goranko

引用数: 11 • 2016

Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic

Antonio Morales, Guido Sciavicco

引用数: 11 • 2006

A Program Refinement Framework Supporting Reasoning about Knowledge and Time

Kai Engelhardt, Ron van der Meyden, Yoram Moses

引用数: 11 • 2000

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

Olivier Gasquet, Valentin Goranko, François Schwarzentruber

引用数: 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

引用数: 10 • 2023

Knowledge and Distributed computation

Mark R. Tuttle

引用数: 9 • 1989

Decision Procedures for Epistemic Logic Exploiting Belief Bases

Emiliano Lorini, Benito Fabian Romero Jimenez

引用数: 8 • 2019

Introduction to Logic-Based Artificial Intelligence

Jack Minker

引用数: 7 • 2000

Transaction Logic with Defaults and Argumentation Theories

Paul Fodor, Michael Kifer

引用数: 7 • 2011