scientific article; zbMATH DE number 4139316

zbMATH Open0695.68062MaRDI QIDQ3471707FDOQ3471707

Authors: G. E. Mints 

Publication date: 1990

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

Recommendations

• scientific article; zbMATH DE number 4045228
• scientific article; zbMATH DE number 4058910
• scientific article; zbMATH DE number 750013
• Declarative Logic Programming: Theory, Systems, and Applications
• Formalized proof systems for propositional logic
• scientific article; zbMATH DE number 1973214
• scientific article; zbMATH DE number 3866574
• Towards a systematic account of different logic programming semantics
• Logic program forms
• scientific article; zbMATH DE number 47925

zbMATH Keywords

logic programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Artificial intelligence (68T99)

Cited In (4)

• Negation as inconsistency. I
• Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
• Title not available (Why is that?)
• 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 Q3471707)