scientific article; zbMATH DE number 980422

zbMath0864.68099MaRDI QIDQ4333388

A. S. Antonov, Lubomir st. Stoytchev

Publication date: 9 June 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

knowledge-based systemsrelational logicdifferential logic

Mathematics Subject Classification ID

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

This page was built for publication: