Propositional calculus

Plan synthesis: a logical perspective

Stanley J. Rosenschein

引用数: 103 • 1981

Falsification of LTL safety properties in hybrid systems

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

引用数: 51 • 2012

Reasoning about action and change

Helmut Prendinger, Gerhard Schurz

引用数: 50 • 1996

Deductive verification of simple foraging robotic behaviours

Abdelkader Behdenna, Clare Dixon, Michael Fisher

引用数: 21 • 2009

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

Antonio Morales, Isabel Navarrete, Guido Sciavicco

引用数: 13 • 2007

Sampling First Order Logical Particles

Hannaneh Hajishirzi, Eyal Amir

引用数: 12 • 2012

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

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

引用数: 9 • 2010

Reasoning with Qualitative Velocity: Towards a Hybrid Approach

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

引用数: 8 • 2012

Decision Procedures for Epistemic Logic Exploiting Belief Bases

Emiliano Lorini, Benito Fabian Romero Jimenez

引用数: 8 • 2019

Implementing Belief Change in the Situation Calculus and an Application

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

引用数: 6 • 2013

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

Erik T. Mueller, Geoff Sutcliffe

引用数: 4 • 2005

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

Maonian Wu, Yunliang Jiang, Shaojun Zhu

引用数: 3 • 2016

Propositional Logic Applied To Execution Control

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

引用数: 3 • 2005

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

Zeno Toffano, François Dubois

引用数: 3 • 2017

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

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

引用数: 2 • 2013