scientific article; zbMATH DE number 980422

MaRDI QIDQ4333388zbMATH OpenFDO

Authors Lubomir st. Stoytchev, A. S. Antonov

Publication date 9 June 1997

zbMATH Keywords

differential logicknowledge-based systemsrelational logic

Mathematics Subject Classification ID

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

Cited in

(5)

• Relational calculus for actionable knowledge
• Systems of relational transformations: rules and realizability criterion
• Differential Refinement Logic
• scientific article; zbMATH DE number 871197 (Why is no real title available?)
• Residing in adverse environments. Understanding and enabling robustness in complex systems by knowledge diffusion.

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)