scientific article; zbMATH DE number 3986668

zbMATH Open0609.68062MaRDI QIDQ3750139FDOQ3750139

Hans Jürgen Ohlbach

Publication date: 1986

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

Recommendations

• scientific article; zbMATH DE number 1954131
• Introduction to graph grammars with applications to semantic networks
• Publication:2754231
• scientific article; zbMATH DE number 3990906
• A conceptual graph approach to the parsing of projective sentences
• scientific article; zbMATH DE number 1231508
• On the termination of clause graph resolution
• scientific article; zbMATH DE number 1881957

zbMATH Keywords

control informationcombinations of special purpose inference rulesconditioned theory resolutionMarkgraph Karl Refutation Procedure

Mathematics Subject Classification ID

Cited In (12)

• Link inheritance in abstract clause graphs
• Title not available (Why is that?)
• On the termination of clause graph resolution
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A resolution principle for constrained logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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 Q3750139)