Logical framework
Related papers: 10
Top Researchers
Top Cited Papers
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
Non-terminating processes in the situation calculus
Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter
Citations: 12 • 2019
Dividing and conquering logic
John McCarthy, Eyal Amir
Citations: 10 • 2001
Regression and progression in stochastic domains
Vaishak Belle, Hector J. Levesque
Citations: 9 • 2020
A Logical Theory of Localization
Vaishak Belle, Hector J. Levesque
Citations: 8 • 2015
A Method for Diagnosing a Robotic Complex Using Logical Neural Networks Apparatus
Д. П. Димитриченко
Citations: 6 • 2021
Reasoning about Probabilities in Dynamic Systems using Goal Regression
Vaishak Belle, Hector J. Levesque
Citations: 6 • 2013
Identification of distributed systems with logical interaction structure
Simone Martini, Adriano Fagiolini, L. Giarré, Antonio Bicchi
Citations: 5 • 2012
Reduction of Logical-Probabilistic and Logical-Linguistic Constraints to Interval Constraints in the Synthesis of Optimal SEMS
Andrey E. Gorodetskiy, I. L. Tarasova, Vugar G. Kurbanov
Citations: 5 • 2018
Construction by a robot of a logical theory of itself and its environment through experiments
Joan Ramon Gomà Ayats, Joan Vivancos Calvet
Citations: 3 • 2003