scientific article; zbMATH DE number 3986668
From MaRDI portal
Publication:3750139
control informationcombinations of special purpose inference rulesconditioned theory resolutionMarkgraph Karl Refutation Procedure
Recommendations
- scientific article; zbMATH DE number 1954131
- Introduction to graph grammars with applications to semantic networks
- scientific article; zbMATH DE number 1670897
- 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
Cited in
(13)- A resolution principle for constrained logics
- scientific article; zbMATH DE number 1926639 (Why is no real title available?)
- scientific article; zbMATH DE number 4003561 (Why is no real title available?)
- scientific article; zbMATH DE number 4047183 (Why is no real title available?)
- scientific article; zbMATH DE number 4047182 (Why is no real title available?)
- Semantically-guided goal-sensitive reasoning: model representation
- scientific article; zbMATH DE number 3858461 (Why is no real title available?)
- scientific article; zbMATH DE number 3988746 (Why is no real title available?)
- Link inheritance in abstract clause graphs
- On the termination of clause graph resolution
- scientific article; zbMATH DE number 3990906 (Why is no real title available?)
- scientific article; zbMATH DE number 1954131 (Why is no real title available?)
- scientific article; zbMATH DE number 7680806 (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 Q3750139)
