Loading...
Loading...

Go to the content (press return)

Tableau-based reasoning for graph properties

Author
Lambers, L.; Orejas, F.
Type of activity
Presentation of work at congresses
Name of edition
ICGT 2014 - 7th International Conference on Graph Transformation
Date of publication
2014
Presentation's date
2014-07
Book of congress proceedings
Graph Transformation: 7th International Conference, ICGT 2014: held as Part of STAF 2014: York, UK, July 22-24, 2014: proceedings
First page
17
Last page
32
Publisher
Springer
DOI
10.1007/978-3-319-09108-2_2
Repository
http://hdl.handle.net/2117/28034 Open in new window
URL
http://link.springer.com/chapter/10.1007%2F978-3-319-09108-2_2 Open in new window
Abstract
Graphs are ubiquitous in Computer Science. For this reason, in many areas, it is very important to have the means to express and reason about graph properties. A simple way is based on defining an appropriate encoding of graphs in terms of classical logic. This approach has been followed by Courcelle. The alternative is the definition of a specialized logic, as done by Habel and Pennemann, who defined a logic of nested graph conditions, where graph properties are formulated explicitly making use...
Citation
Lambers, L.; Orejas, F. Tableau-based reasoning for graph properties. A: International Conference on Graph Transformations. "Graph Transformation: 7th International Conference, ICGT 2014: held as Part of STAF 2014: York, UK, July 22-24, 2014: proceedings". York: Springer, 2014, p. 17-32.
Keywords
Automated deduction, Graph logic, Graph properties, Graph transformation, Visual modelling
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants