scientific article; zbMATH DE number 910747

zbMATH Open0847.68121MaRDI QIDQ4885909FDOQ4885909

Gernot Salzer

Publication date: 29 August 1996

Title of this publication is not available (Why is that?)

Recommendations

• MUltlog 1.0: towards an expert system for many-valued logics
• scientific article; zbMATH DE number 517011
• Multi-valued semantics for logic programs
• Local multi-valued logics in modular expert systems
• A framework for automated reasoning in multiple-valued logics
• scientific article; zbMATH DE number 1076964
• scientific article
• scientific article; zbMATH DE number 1269582
• On defining multiple-valued logics for knowledge-based systems communication

zbMATH Keywords

multiple-valued resolutionMUltlog system

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Many-valued logic (03B50) Logic in artificial intelligence (68T27)

Cited In (9)

• Title not available (Why is that?)
• Local multi-valued logics in modular expert systems
• On defining multiple-valued logics for knowledge-based systems communication
• Title not available (Why is that?)
• Title not available (Why is that?)
• An analysis of formal logics as inference mechanisms in expert systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC

Uses Software

• MUltlog

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 Q4885909)