scientific article; zbMATH DE number 980422

zbMATH Open0864.68099MaRDI QIDQ4333388FDOQ4333388

Authors: Lubomir st. Stoytchev, A. S. Antonov 

Publication date: 9 June 1997

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 812533
• scientific article; zbMATH DE number 871197
• scientific article; zbMATH DE number 825175

zbMATH Keywords

knowledge-based systemsrelational logicdifferential logic

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic in artificial intelligence (68T27) Classical first-order logic (03B10)

Cited In (4)

• Systems of relational transformations: rules and realizability criterion
• Residing in adverse environments. Understanding and enabling robustness in complex systems by knowledge diffusion.
• Differential Refinement Logic
• Relational calculus for actionable knowledge

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4333388)