Logical consequence

Three-valued logic gates in reaction–diffusion excitable media

Ikuko N. Motoike, A Adamatzky

Citations: 39 • 2005

Three-valued logic gates in reaction–diffusion excitable media

Ikuko N. Motoike, Andrew Adamatzky

Citations: 34 • 2004

Approach to the Construction of Logical Control Systems for Technological Equipment for the Implementation of Industry 4.0 Concept

Ramil Nezhmetdinov, P. A. Nikishechkin, A. N. Nikich

Citations: 29 • 2018

Reasoning about Probabilities in Unbounded First-Order Dynamical Domains

Vaishak Belle, Gerhard Lakemeyer

Citations: 16 • 2017

Dividing and conquering logic

John McCarthy, Eyal Amir

Citations: 10 • 2001

Relating theories of actions and reactive robot control

Chitta Baral, Tran Cao Son

Citations: 10 • 1996

A Method for Diagnosing a Robotic Complex Using Logical Neural Networks Apparatus

Д. П. Димитриченко

Citations: 6 • 2021

A Neural Network With Logical Reasoning Based on Auxiliary Inputs

Fang Wan, Chaoyang Song

Citations: 5 • 2018

Learning Large Logic Programs By Going Beyond Entailment

Andrew Cropper, Sebastijan Dumančić

Citations: 3 • 2020

Logical Learning Through a Hybrid Neural Network with Auxiliary Inputs

Fang Wan, Chaoyang Song

Citations: 2 • 2017

Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text

Zhun Yang, Adam Ishay, Joohyung Lee

Citations: 2 • 2023