The Logiform system

DOI10.1016/0898-1221(90)90114-YzbMath0728.68120MaRDI QIDQ805275

L. Lucchesi, A. Bonsignori, Franco Turini, Fosca Giannotti

Publication date: 1990

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

zbMATH Keywords

logic programmingrelational data baseLogiform

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) Logic programming (68N17)

Related Items (1)

The Logiform system

Cites Work

• The Logiform system
• Unnamed Item

This page was built for publication: The Logiform system