Description logic

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

Alessio Lomuscio, Hongyang Qu, Franco Raimondi

Citations: 290 • 2009

Multi-valued and Fuzzy Logic Realization using TaOx Memristive Devices

Debjyoti Bhattacharjee, Wonjoo Kim, Anupam Chattopadhyay, Vikas Rana

Citations: 174 • 2018

Reinforcement learning with temporal logic rewards

Xiao Li, Cristian-Ioan Vasile, Călin Belta

Citations: 160 • 2017

Safe Control under Uncertainty with Probabilistic Signal Temporal Logic

Dorsa Sadigh, Ashish Kapoor

Citations: 140 • 2016

A Simple and Tractable Extension of Situation Calculus to Epistemic Logic

Robert Demolombe, Maria del Pilar Pozos Parra

Citations: 50 • 2000

Some Requirements for Human-Like Robots: Why the Recent Over-Emphasis on Embodiment Has Held Up Progress

Aaron Sloman

Citations: 49 • 2009

Probabilistic logic programming for hybrid relational domains

Davide Nitti, Tinne De Laet, Luc De Raedt

Citations: 38 • 2016

Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic

Lasse Dissing, Thomas Bolander

Citations: 36 • 2020

The logic of tasks

Giorgi Japaridze

Citations: 29 • 2002

Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements**Corresponding Author: Zhe Xu. We acknowledge the support of the National Science Foundation through grants number CNS0953976, CNS-1218109, and NRI-1426907, and the O_ce of Naval Research through grant number N00014-14-1-0554 for the research reported in this paper.

Zhe Xu, Călin Belta, A. Agung Julius

Citations: 25 • 2015

Describing and Recognizing Patterns of Events in Smart Environments With Description Logic

Antonello Scalmato, Antonio Sgorbissa, Renato Zaccaria

Citations: 23 • 2013

Intelligent machines in the twenty-first century: foundations of inference and inquiry

Kevin H. Knuth

Citations: 20 • 2003

Dialog-Based 3D-Image Recognition Using a Domain Ontology

Joana Hois, Michael Wünstel, John Bateman, Thomas Röfer

Citations: 20 • 2007

The gamut of dynamic logics

Jan van Eijck, Martin Stokhof

Citations: 19 • 2006

Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models

Mattias Tiger, Fredrik Heintz

Citations: 19 • 2016

Possible events, actual events, and robots

Andrew Haas

Citations: 19 • 1985

Heterogeneous Network Architecture for Integration of AI and Quantum Optics by Means of Multiple-Valued Logic

Alexey Yu. Bykovsky

Citations: 17 • 2020

Ontology Modeling and Storage System for Robot Context Understanding

Eric Wang, Yong Se Kim, Hak Soo Kim, Jin Hyun Son, Sanghoon Lee, Il Hong Suh

Citations: 16 • 2005

Reasoning about Probabilities in Unbounded First-Order Dynamical Domains

Vaishak Belle, Gerhard Lakemeyer

Citations: 16 • 2017

Robotic Understanding of Spatial Relationships Using Neural-Logic Learning

Fujian Yan, Dali Wang, Hongsheng He

Citations: 15 • 2020