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) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

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

• scientific article; zbMATH DE number 3960984 (Why is no real title available?)
• Attribute grammars. Definitions, systems and bibliography
• Computational and attribute models of formal languages
• 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

(6)

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

Describes a project that uses

Uses Software

• NUT
• PRIZ

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)