The Logiform system

DOI10.1016/0898-1221(90)90114-YMaRDI QIDQ805275zbMATH OpenFDO

Authors A. Bonsignori, L. Lucchesi, F. Giannotti, Franco Turini

Publication date 1990

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

Full work available at URL https://doi.org/10.1016/0898-1221(90)90114-Y

zbMATH Keywords

logic programmingrelational data baseLogiform

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 2080391
• scientific article; zbMATH DE number 3271449
• A logical modeling system
• A log analyzing system for Linux LASL
• scientific article; zbMATH DE number 43843
• scientific article; zbMATH DE number 3853032
• Logiweb

Cites work

• scientific article; zbMATH DE number 3978351 (Why is no real title available?)
• The Logiform system

Cited in

(5)

• Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
• scientific article; zbMATH DE number 2043395 (Why is no real title available?)
• SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets
• Deductive Spreadsheets Using Tabled Logic Programming
• The Logiform system

This page was built for publication: The Logiform system

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