N-GraphML: Language and Formal Grammar for Proof-Graphs.
Daniel Vaz dos SantosLucas Fernando de Souza CastroGleifer Vaz AlvesPublished in: WEIT (2013)
Keyphrases
- formal languages
- formal language
- natural language
- controlled natural language
- formal language theory
- linguistic knowledge
- context free grammars
- visual languages
- operational semantics
- word order
- graph representation
- graph matching
- highly expressive
- theorem proving
- language generation
- precisely defined
- programming language
- language learning
- mathematical theory
- pattern languages
- formal semantics
- target language
- natural deduction
- context free
- proof theory
- rewriting rules
- formal methods
- probabilistic context free grammars
- weighted graph
- knowledge base