Autoepistemic logic

Safe Control under Uncertainty with Probabilistic Signal Temporal Logic

Dorsa Sadigh, Ashish Kapoor

Citations: 140 • 2016

Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models

Mattias Tiger, Fredrik Heintz

Citations: 19 • 2016

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

Antonio Morales, Isabel Navarrete, Guido Sciavicco

Citations: 13 • 2007

Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic

Antonio Morales, Guido Sciavicco

Citations: 11 • 2006

NEW DEFINITION OF PREDICTION WITHOUT LOGICAL INFERENCE

Evgenii Vityaev, Stanislav Smerdov

Citations: 7 • 2009

Transaction Logic with Defaults and Argumentation Theories

Paul Fodor, Michael Kifer

Citations: 7 • 2011

Plausible inference: A multi-valued logic for problem solving

Leonard Friedman

Citations: 7 • 1979

The Propositional Logic of Elementary Tasks

Giorgi Japaridze

Citations: 6 • 2000

Kernel knowledge versus belt knowledge in default reasoning: A logical approach

Citations: 4 • 1991

Formalizing Deceptive Reasoning in Breaking Bad : Default Reasoning in a Doxastic Logic

John Licato

Citations: 3 • 2015

SPATIAL LOGIC CONCEPTS

S. A. Kudzh, Victor Ya. Tsvetkov

Citations: 2 • 2020

Probabilistic robotic logic programming with hybrid Boolean and Bayesian inference

Mark Post

Citations: 2 • 2023

Logic, Probability and Learning, or an Introduction to Statistical Relational Learning

Luc De Raedt

Citations: 1 • 2008