Representing knowledge with theories about theories

DOI10.1016/0743-1066(90)90035-4zbMATH Open0796.68173OpenAlexW2063750594MaRDI QIDQ4713009FDOQ4713009

Authors: Edward P. jun. Stabler 

Publication date: 25 June 1992

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(90)90035-4

Recommendations

• scientific article; zbMATH DE number 1748584
• scientific article; zbMATH DE number 1231506
• scientific article; zbMATH DE number 4164177
• scientific article; zbMATH DE number 4072438
• scientific article; zbMATH DE number 1761432

zbMATH Keywords

planningdiagnosisproof treeslogical semanticsHorn-clause theoriesleft-to-right theorem proversnatural-language parsingproof-representation-building metatheorytheories about theories

Mathematics Subject Classification ID

Knowledge representation (68T30) Proof theory in general (including proof-theoretic semantics) (03F03) Theory of compilers and interpreters (68N20)

This page was built for publication: Representing knowledge with theories about theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4713009)