scientific article; zbMATH DE number 4028945

zbMATH Open0632.68089MaRDI QIDQ3769997FDOQ3769997

Authors: Oded Shmueli, Shalom Tsur, Hana Zfira 

Publication date: 1986

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

Recommendations

• scientific article; zbMATH DE number 3980534
• Support logic programming
• Prosum-Prolog system for uncertainty management
• scientific article; zbMATH DE number 4160105
• Intelligent query answering in rule based systems

zbMATH Keywords

logic programmingPROLOGadditional support knowledgegoal-proof processeslarge internal databaserule support

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Information storage and retrieval of data (68P20) Artificial intelligence (68T99)

Cited In (2)

• Prolog-oriented support of calculations
• Title not available (Why is that?)

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