Logical framework
相关论文数: 10
顶级研究者
最高引用论文
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
引用数: 29 • 2018
Non-terminating processes in the situation calculus
Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter
引用数: 12 • 2019
Dividing and conquering logic
John McCarthy, Eyal Amir
引用数: 10 • 2001
Regression and progression in stochastic domains
Vaishak Belle, Hector J. Levesque
引用数: 9 • 2020
A Logical Theory of Localization
Vaishak Belle, Hector J. Levesque
引用数: 8 • 2015
A Method for Diagnosing a Robotic Complex Using Logical Neural Networks Apparatus
Д. П. Димитриченко
引用数: 6 • 2021
Reasoning about Probabilities in Dynamic Systems using Goal Regression
Vaishak Belle, Hector J. Levesque
引用数: 6 • 2013
Identification of distributed systems with logical interaction structure
Simone Martini, Adriano Fagiolini, L. Giarré, Antonio Bicchi
引用数: 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
引用数: 5 • 2018
Construction by a robot of a logical theory of itself and its environment through experiments
Joan Ramon Gomà Ayats, Joan Vivancos Calvet
引用数: 3 • 2003