Autoepistemic logic

Safe Control under Uncertainty with Probabilistic Signal Temporal Logic

Dorsa Sadigh, Ashish Kapoor

引用数: 140 • 2016

Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models

Mattias Tiger, Fredrik Heintz

引用数: 19 • 2016

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

Antonio Morales, Isabel Navarrete, Guido Sciavicco

引用数: 13 • 2007

Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic

Antonio Morales, Guido Sciavicco

引用数: 11 • 2006

NEW DEFINITION OF PREDICTION WITHOUT LOGICAL INFERENCE

Evgenii Vityaev, Stanislav Smerdov

引用数: 7 • 2009

Transaction Logic with Defaults and Argumentation Theories

Paul Fodor, Michael Kifer

引用数: 7 • 2011

Plausible inference: A multi-valued logic for problem solving

Leonard Friedman

引用数: 7 • 1979

The Propositional Logic of Elementary Tasks

Giorgi Japaridze

引用数: 6 • 2000

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

引用数: 4 • 1991

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

John Licato

引用数: 3 • 2015

SPATIAL LOGIC CONCEPTS

S. A. Kudzh, Victor Ya. Tsvetkov

引用数: 2 • 2020

Probabilistic robotic logic programming with hybrid Boolean and Bayesian inference

Mark Post

引用数: 2 • 2023

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

Luc De Raedt

引用数: 1 • 2008