Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
From MaRDI portal
(Redirected from Publication:742012)
Recommendations
- Automating control for logic programs
- Logical control in automatic systems
- scientific article; zbMATH DE number 3972241
- Logical equations with applications to automatic design and control
- scientific article; zbMATH DE number 603377
- scientific article; zbMATH DE number 3884003
- scientific article; zbMATH DE number 4104410
- scientific article; zbMATH DE number 4070743
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
Cites work
- scientific article; zbMATH DE number 3113030 (Why is no real title available?)
- scientific article; zbMATH DE number 1745890 (Why is no real title available?)
- scientific article; zbMATH DE number 783783 (Why is no real title available?)
- scientific article; zbMATH DE number 3415409 (Why is no real title available?)
- scientific article; zbMATH DE number 3062713 (Why is no real title available?)
- A Machine-Oriented Logic Based on the Resolution Principle
- A method for the synthesis of deducibility conditions for Horn and some other formulas
- Control packages: an approach to solution of positional control problems with incomplete information
- Limited resource strategy in resolution theorem proving
- Method of reduction and qualitative analysis of dynamic systems. I
- Properties preserved under homomorphism
- Zur Deutung der intuitionistischen Logik
Cited in
(6)- Complexity of the problem of being equivalent to Horn formulas
- Dynamic intelligent systems. II. Computer simulation of task-oriented behavior
- scientific article; zbMATH DE number 3892616 (Why is no real title available?)
- On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
- Formalization of methods for the development of autonomous artificial intelligence systems
- Complexity of the problem of being equivalent to Horn formulas. II
This page was built for publication: Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q742012)