scholarly journals Inequational Deduction as Term Graph Rewriting

2007 ◽  
Vol 72 (1) ◽  
pp. 31-44 ◽  
Author(s):  
Andrea Corradini ◽  
Fabio Gadducci ◽  
Wolfram Kahl ◽  
Barbara König
Keyword(s):  
Graph Rewriting

Two Approaches to the Induction of Graph-Rewriting Rules for Function-Based Design Synthesis

2016 ◽  
Author(s):  
Julian R. Eichhoff ◽  
Felix Baumann ◽  
Dieter Roller
Keyword(s):  
Engineering Design ◽  
Conceptual Design ◽  
Automatic Generation ◽  
Production Rules ◽  
Design Synthesis ◽  
Graph Rewriting ◽  
Conceptual Engineering ◽  
Frequent Subgraph ◽  
Rule Set ◽  
Rewriting Rules

In this paper we demonstrate and compare two complementary approaches to the automatic generation of production rules from a set of given graphs representing sample designs. The first approach generates a complete rule set from scratch by means of frequent subgraph discovery. Whereas the second approach is intended to learn additional rules that fit an existing, yet incomplete, rule set using genetic programming. Both approaches have been developed and tested in the context of an application for automated conceptual engineering design, more specifically functional decomposition. They can be considered feasible, complementary approaches to the automatic inference of graph rewriting rules for conceptual design applications.

scholarly journals Some Properties of Non-Orthogonal Term Graph Rewriting

1995 ◽  
Vol 2 ◽  
pp. 36-45 ◽  
Author(s):  
David Clark ◽  
Richard Kennaway
Keyword(s):  
Graph Rewriting

scholarly journals AGREE – Algebraic Graph Rewriting with Controlled Embedding

2015 ◽  
pp. 35-51 ◽  
Author(s):  
Andrea Corradini ◽  
Dominique Duval ◽  
Rachid Echahed ◽  
Frederic Prost ◽  
Leila Ribeiro
Keyword(s):  
Graph Rewriting

scholarly journals Confluence of Graph Rewriting with Interfaces

2017 ◽  
pp. 141-169 ◽  
Author(s):  
Filippo Bonchi ◽  
Fabio Gadducci ◽  
Aleks Kissinger ◽  
Paweł Sobociński ◽  
Fabio Zanasi
Keyword(s):  
Graph Rewriting
Sign in / Sign up

Export Citation Format

Share Document