scholarly journals Modeling Pointer Redirection as Cyclic Term-graph Rewriting

2007 ◽  
Vol 176 (1) ◽  
pp. 65-84 ◽  
Author(s):  
Dominique Duval ◽  
Rachid Echahed ◽  
Frédéric Prost
Keyword(s):  
Graph Rewriting ◽  
Cyclic Term

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 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