Logical knowledge-representation formalisms

DOI10.1007/BF01126207zbMath0875.68800OpenAlexW1981473938MaRDI QIDQ1816108

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

graph grammarextended Ackermann classknowledge-representation language

Mathematics Subject Classification ID

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

Cites Work

• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item

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