Declarative operations on nets

DOI10.1016/0898-1221(92)90126-3zbMath0794.68151OpenAlexW2074376678MaRDI QIDQ1202674

Harold Boley

Publication date: 14 February 1993

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(92)90126-3

zbMATH Keywords

knowledge representationssemantic networkstaxonomic inheritance systems

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Knowledge representation (68T30) Semantics in the theory of computing (68Q55)

Related Items

Model reduction of state space systems via an implicitly restarted Lanczos method ⋮ A rational Lanczos algorithm for model reduction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Introduction to graph grammars with applications to semantic networks
• The existential graphs
• Directed recursive labelnode hypergraphs: A new representation-language
• Can programming be liberated from the von Neumann style?
• A language extension for graph processing and its formal semantics