Automation methods for logical derivation and their application in the control of dynamic and intelligent systems

DOI10.1134/S0081543812020137zbMath1295.93057OpenAlexW2025156439MaRDI QIDQ742012

D. Kharzeev

Publication date: 17 September 2014

Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0081543812020137

zbMATH Keywords

controllabilityintelligent systemsartificial intelligenceLyapunov functionscontrol theorymathematical logicdynamic systems

Mathematics Subject Classification ID

Application models in control theory (93C95) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (2)

Complexity of the problem of being equivalent to Horn formulas ⋮ Complexity of the problem of being equivalent to Horn formulas. II

Uses Software

• OTTER

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Properties preserved under homomorphism
• Limited resource strategy in resolution theorem proving
• Zur Deutung der intuitionistischen Logik
• A method for the synthesis of deducibility conditions for Horn and some other formulas
• Method of reduction and qualitative analysis of dynamic systems. I
• Control packages: an approach to solution of positional control problems with incomplete information
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Automation methods for logical derivation and their application in the control of dynamic and intelligent systems