Representing knowledge with theories about theories

DOI10.1016/0743-1066(90)90035-4zbMath0796.68173OpenAlexW2063750594MaRDI QIDQ4713009

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

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

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