scientific article; zbMATH DE number 980422

MaRDI QIDQ4333388zbMATHFDO

Authors Lubomir st. Stoytchev, A. S. Antonov

Publication date 9 June 1997

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)

• Residing in adverse environments. Understanding and enabling robustness in complex systems by knowledge diffusion.
• Systems of relational transformations: rules and realizability criterion
• 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)