Propositional calculus

Plan synthesis: a logical perspective

Stanley J. Rosenschein

Citations: 103 • 1981

Falsification of LTL safety properties in hybrid systems

Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi

Citations: 51 • 2012

Reasoning about action and change

Helmut Prendinger, Gerhard Schurz

Citations: 50 • 1996

Deductive verification of simple foraging robotic behaviours

Abdelkader Behdenna, Clare Dixon, Michael Fisher

Citations: 21 • 2009

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

Antonio Morales, Isabel Navarrete, Guido Sciavicco

Citations: 13 • 2007

Sampling First Order Logical Particles

Hannaneh Hajishirzi, Eyal Amir

Citations: 12 • 2012

A Many-Valued Temporal Logic and Reasoning Framework for Decision Making

Zhirui Lu, Jun Liu, Juan Carlos Augusto, Hui Wang

Citations: 9 • 2010

Reasoning with Qualitative Velocity: Towards a Hybrid Approach

Joanna Golińska‐Pilarek, Emilio Muñoz‐Velasco

Citations: 8 • 2012

Decision Procedures for Epistemic Logic Exploiting Belief Bases

Emiliano Lorini, Benito Fabian Romero Jimenez

Citations: 8 • 2019

Implementing Belief Change in the Situation Calculus and an Application

Maurice Pagnucco, David Rajaratnam, Hannes Straß, Michael Thielscher

Citations: 6 • 2013

Reasoning in the event calculus using first-order automated theorem proving

Erik T. Mueller, Geoff Sutcliffe

Citations: 4 • 2005

The Local Definability of Robotic Large-Scale Knowledge Based on Splitting

Maonian Wu, Yunliang Jiang, Shaojun Zhu

Citations: 3 • 2016

Propositional Logic Applied To Execution Control

B. Degallaix, J.Ph. Thibault, Malik Ghallab

Citations: 3 • 2005

Eigenlogic: Interpretable Quantum Observables with applications to Fuzzy Behavior of Vehicular Robots

Zeno Toffano, François Dubois

Citations: 3 • 2017

Facilitating Human-Robot Interaction: A Formal Logic for Task Description

Takéhiko Nakama, Enrique Muñoz, Kevin LeBlanc, Enrique H. Ruspini

Citations: 2 • 2013