scientific article; zbMATH DE number 3949750

zbMATH Open0591.68085MaRDI QIDQ3719863FDOQ3719863

Authors: Ko Sakai, Taizo Miyachi 

Publication date: 1986

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

Recommendations

• Logic programming with strong negation
• Negation as instantiation
• Logics in Artificial Intelligence
• Negation as inconsistency. I
• scientific article; zbMATH DE number 4180779

zbMATH Keywords

semanticsintuitionistic logiclogic programmingnegative informationquery responseexecution algorithmknowledge assimilation systemPure Prolog with Negation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited In (2)

• Title not available (Why is that?)
• Logic programming with strong negation

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