scientific article; zbMATH DE number 910747
From MaRDI portal
Publication:4885909
zbMATH Open0847.68121MaRDI QIDQ4885909FDOQ4885909
Authors: 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; zbMATH DE number 4088971
- scientific article; zbMATH DE number 1269582
- On defining multiple-valued logics for knowledge-based systems communication
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 (10)
- 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?)
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
- Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC
Uses Software
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)
