Logic based programmed structure rewriting systems

Fundamenta Informaticae

Volumn 26, Issue 3-4, 1996, Pages 363-385

  Schürr, Andy ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GRAMMARS; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; FORMAL LOGIC; FUNCTIONS; GRAPH THEORY; PROGRAMMING THEORY; RECURSIVE FUNCTIONS; SET THEORY; SOFTWARE ENGINEERING;

FORMAL TREATMENT; GRAPH REWRITING SYSTEMS; LOGIC BASED PROGRAMMED STRUCTURE; NONMONOTONIC REASONING; OPERATION ORIENTED MANIPULATION; RELATIONAL STRUCTURES; SET ORIENTED PATTERN MATCHING;

LOGIC PROGRAMMING;

EID: 0030172286     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1996-263407     Document Type: Article

References (39)

1. Ausiello G., Atzeni P. (eds.): Proc. Int. Conf. on Database Theory, LNCS 243, Springer Verlag (1986)
2. Bry F., Manthey R., Martens B.: Integrity Verification in Knowledge Bases, in: [38], 114-139
3. Bunke H.: Sequentielle und parallele programmierte Graphgrammatiken, Dissertation, Technical Report IMMD-7-7, Universität Erlangen, Germany (1974)
4. Claus V., Ehrig H., Rozenberg G.: Proc. Int. Workshop on Graph-Grammars and Their Application to Computer Science and Biology, LNCS 73, Springer Verlag (1979)
5. Courcelle B.: Graphs as Relational Structures: An Algebraic and Logical Approach, in: [9], 238-252
6. Dassow J., Faun G.: Regulated Rewriting in Formal Language Theory, EATCS 18, Springer Verlag (1989)
7. Ehrig H., Habel A., Kreowski H.-J., Parisi-Presicce F.: From Graph Grammars to High-Level Replacement Systems, in: [9], 269-291
8. Ehrig H.: Introduction to the Algebraic Theory of Graph Grammars (a Survey), in: [4], 1-69
9. Ehrig H., Kreowski H.-J., Rozenberg G.: Proc. 4th Int. Workshop on Graph Grammars and Their Application to Computer Science, LNCS 532, Springer Verlag (1991)
10. Engels G., Lewerentz C., Nagl M., Schäfer W., Schürr A.: Building Integrated Software Development Environments Part I: Tool Specification, in: ACM Transactions on Software Engineering and Methodology, vol. 1, no. 2, acm Press (1992), 135-167
11. Gallaire H.: Logic and Data Bases, New York: Plenum Press (1978)
12. Göttler H.: Graphgrammatiken in der Softwaretechnik, IFB 178, Springer Verlag (1988)
13. Große-Wienker R., Hermanns O., Menzenbach D., Pollack A., Repetzki S., Schwartz J., Sonnenschein K., Westfechtel B: Das SUKITS-Projekt: A-posteriori-Integration heterogener CIM-Anwendungssysteme, Technical Report AIB-93-11, Fachgruppe Informatik, RWTH Aachen, Germany (1993)
14. Van Hentenrynck P.: Constraint Satisfaction in Logic Programming, MIT Press (1989)
15. Kreowski H.-J., Rozenberg G.: On Structured Graph Grammars: Part I and II, Technical Report 3/88, University of Bremen, FB Mathematik/Informatik (1988)
16. Kiesel N., Schürr A., Westfechtel B.: GRAS, a Graph-Oriented Database System for (Sotware) Engineering Applications, in: CASE '93 Proc. 6th Int Workshop on Computer-Aided Software Engineering,IEEE Computer Society Press (1993), 272-286
17. Korff M.: Algebraic Transformation of Equationally Defined Graph Structures, TR No. 92/32, Fachbereich Informatik, TU Berlin, Germany (1992)
18. Löwe M.: Algebraic Approach to Graph Transformation Based on Single Pushout Derivations, TR No. 90/5, Fachbereich Informatik, TU Berlin, Germany (1990)
19. Lee H.-Y., Reid Th.F., Jarzabek St. (eds.): CASE '93 Proc. 6th Int. Workshop on Computer-Aided Software Engineering, IEEE Computer Society Press (1993)
20. Mylopoulos J., Borgida A., Jarke M., Koubarkis M.: Telos: a Language for Representing Knowledge about Information Systems, ACM Transactions on Information Systems, Vol. 8, No. 4, acm Press (1990), 325-362
21. Minker J.: Perspectives in Deductive Databases, in: The Journal of Logic Programming, Elsevier Science Publ. (1988), 33-60
22. Maggiolo-Schettini A., Winkowski J.: Programmed Derivations of Relational Structures, in: [9], 582-598
23. Nagl M.: A Tutorial and Bibliographical Survey on Graph Grammars, in: [4], 70-126
24. Nagl M.: Graph Technology Applied to a Software Project, in: [30], 303-322
25. Naqvi Sh.A.: Some Extensions to the Closed World Assumption in Databases, in: [1], 341-348
26. Naqvi Sh.A.: Negation as Failure for First-Order Queries, in: Proc. 5th SIGACT-SIGMOD Symp. on Principles of Database Systems, acm Press (1986), 114-122
27. Nelson G.: A Generalization of Dijkstra's Calculus, in ACM Transactions on Programming Languages and Systems, vol. 11, no. 4, acm Press, USA (1989), 517-561
28. Nagl M., Schürr A.: A Specification Environment for Graph Grammars, in: [9], 599-609
29. Naqvi Sh.A., Tsur Sh.: Data and Knowledge Bases, IEEE Computer Society Press (1989)
30. Rozenberg G., Salomaa A.: The Book of L, Springer Verlag (1986)
31. Rybinski H.: On First-Order-Logic Databases, in: ACM Transaction on Database Systems, Vol. 12, No.3, acm Press (1987), 325-349
32. Schmidt G., Berghammer R.: Proc. Int. Workshop on Graph- Theoretic Concepts in Computer Science (WG '91), LNCS 570, Springer Verlag(1991)
33. Schneider H.J., Ehrig H. (eds.): Proc. Int. Workshiop on Graph Transformations in Computer Science, LNCS 776, Springer Verlag (1994)
34. Schürr A.: PROGRES: A VHL-Language Based on Graph Grammars, in: [9], 641-659
35. Schürr A.: Operationales Spezifizieren mit Programmierten Graphersetzungsystemens: Formale Definitionen, Anwendungen und Werkzeuge, Deutscher Universitätsverlag (1991)
36. Schürr A.: Logic Based Structure Rewriting Systems, in: [33], 341-357
37. Schürr A., Zündorf A.: Non-Deterministic Control Structures for Graph Rewriting Systems, in: [32], 48-62
38. Voronkov A. (ed.): Logic Programming, LNCS 592, Springer Verlag (1991)
39. Thaise A. (ed.): From Standard Logic to Logic Programming, John Wiley & Sons Ltd. (1989)