Toward knowledge-based specifications of languages

DOI10.1007/BFB0019356MaRDI QIDQ4560351zbMATH OpenOpenAlexFDO

Authors Merik Meriste, Jaan Penjam

Publication date 11 December 2018

Published in Baltic Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• scientific article; zbMATH DE number 3960984
• scientific article; zbMATH DE number 1303330
• scientific article; zbMATH DE number 1498427
• scientific article; zbMATH DE number 125979
• Building a knowledge base: An example

Cites work

• Attribute grammars. Definitions, systems and bibliography
• Computational and attribute models of formal languages
• scientific article; zbMATH DE number 3960984 (Why is no real title available?)
• Interpretation and reduction of attribute grammars
• Justification of the structural synthesis of programs
• On the Covering and Reduction Problems for Context-Free Grammars
• Simple multi-visit attribute grammars
• The programming system PRIZ

Cited in

(7)

• On microcontext approach to the construction of knowledge representation languages and human-computer interaction
• Salt: A knowledge acquisition language for propose-and-revise systems
• scientific article; zbMATH DE number 3960984 (Why is no real title available?)
• A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages
• A note on knowledge-based programs and specifications
• Adding Metalogic Features to Knowledge Representation Languages*
• KnowLang -- a formal specification model for self-adaptive systems

Describes a project that uses

Uses Software

• PRIZ
• NUT

This page was built for publication: Toward knowledge-based specifications of languages

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