Logical knowledge-representation formalisms

DOI10.1007/BF01126207MaRDI QIDQ1816108zbMATH OpenOpenAlexFDO

Authors Yu. N. Kur'erov

Publication date 5 January 1997

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01126207

zbMATH Keywords

extended Ackermann classgraph grammarknowledge-representation language

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42) Knowledge representation (68T30)

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• scientific article; zbMATH DE number 3918329 (Why is no real title available?)

Cited in

(1)

• Logic programming and knowledge representation

This page was built for publication: Logical knowledge-representation formalisms

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