Representing knowledge with theories about theories

DOI10.1016/0743-1066(90)90035-4MaRDI QIDQ4713009zbMATH OpenOpenAlexFDO

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

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)