Knowledge representation and graph transformation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1764, Issue , 2000, Pages 228-237

  Schuster, Stefan ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; SEMANTICS;

AS GRAPH; GRAPH GRAMMAR; GRAPH TRANSFORMATION; GRAPHICAL REPRESENTATIONS; KNOWLEDGE REPRESENTATION LANGUAGE; SATISFIABILITY; VISUAL VERIFICATION;

GRAPH THEORY;

EID: 84949941110     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-46464-8_16     Document Type: Conference Paper

References (14)

1. Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. Graph transformation for specification and programming. Science of Computer Programming, 34(1):1–54, 1999
2. F. Baader. Logic-based knowledge representation. In M.J. Wooldridge and M. Veloso, editors, Artificial Intelligence Today-Recent Trends and Developments, volume 1600 of Lecture Notes in Artificial Intelligence, pages 13–41. Springer Verlag, 1999
3. F. Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, and J. Siekmann. Concept logic. In Proceedings of the Symposium on Computational Logic, pages 177–201, Brussels (Belgien), 1990
4. F. Baader and B. Hollunder. A terminological knowledge representation system with complete inference algorithms. In Proceedings of the First International Workshop on Processing Declarative Knowledge, volume 572 of Lecture Notes in Computer Science, pages 67–85, Kaiserslautern (Germany), 1991. Springer–Verlag
5. A. Borgida and P.F. Patel-Schneider. A semantics and complete algorithm for subsumption in the classic description logic. JAIR, 1:277–308, 1994
6. Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, and Michael Löwe. Algebraic approaches to graph transformation -part I: Basic concepts and double pushout approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation. Vol. I: Foundations, chapter 3, pages 163–246. World Scientific, Singapur, 1997
7. F. Donini, M. Lenzerini, D. Nardi, and W. Nutt. The complexity of concept languages. In Proceedings of the 1991 International Conference on Knowledge Representation (KR’91), Boston (USA), 1991
8. Annegret Habel, Reiko Heckel, and Gabriele Taentzer. Graph grammars with negative application conditions. Fundamenta Informaticae, 26 (3-4):287–313, 1996
9. Hans-Jörg Kreowski and Sabine Kuske. On the interleaving semantics of transformation units—A step into GRACE. In J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, editors, Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci., volume 1073 of Lecture Notes in Computer Science, pages 89–106. Springer, 1996
10. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation. Vol. I: Foundations. World Scientific, Singapur, 1997
11. M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with complements. AI, 48(1):1–26, 1991
12. A. Schürr. Introduction to progres, an attribute graph grammar based specification language. In M. Nagl, editor, Proc. WG’89 Workshop on Graph-Theoretic Concepts in Computer Science, volume 411 of Lecture Notes in Computer Science, pages 151–165. Springer Verlag, 1989
13. A. Schürr, A. Winter, and A. Zündorf. Progres: Language and environment. In G. Rozenberg, editor, Handbook on Graph Grammars Vol. II: Applications. World Scientific, Singapur, 1999
14. Stefan Schuster. Graphtransformation in der Wissensrepräsentation. Master’s thesis, University of Bremen, 1997