scientific article; zbMATH DE number 4139316

MaRDI QIDQ3471707zbMATH OpenFDO

Authors G. E. Mints

Publication date 1990

zbMATH Keywords

logic programming

Mathematics Subject Classification ID

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

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

Cited in

(4)

• Negation as inconsistency. I
• Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
• scientific article; zbMATH DE number 4045228 (Why is no real title available?)
• scientific article; zbMATH DE number 4058910 (Why is no real title available?)

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)