Theory and Applications of Relational Structures as Knowledge Instruments

In this paper we present two systems for dealing with relations, the RelView and the Rath system. After a short introduction to both systems we exhibit their usual domain of application by presenting some typical examples.

[1]  Marcelo F. Frias,et al.  Fork Algebras in Algebra, Logic and Computer Science , 2002, Fundam. Informaticae.

[2]  D. Hill,et al.  The Political Consequences of Electoral Laws , 1969 .

[3]  Eugenio G. Omodeo,et al.  A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory , 2002, Computational Logic: Logic Programming and Beyond.

[4]  Fred B. Schneider,et al.  A Theory of Sets , 1993 .

[5]  R N SHEPARD,et al.  Analysis of Proximities as a Technique for the Study of Information Processing in Man1 , 1963, Human factors.

[6]  John P. Burgess,et al.  Basic Tense Logic , 1984 .

[7]  Manfred Broy,et al.  Formal Methods in Programming and Their Applications , 1993, Lecture Notes in Computer Science.

[8]  Andrea Formisano,et al.  Goals and Benchmarks for Automated Map Reasoning , 2000, J. Symb. Comput..

[9]  R. Sikorski,et al.  The mathematics of metamathematics , 1963 .

[10]  A. Tarski,et al.  A Formalization Of Set Theory Without Variables , 1987 .

[11]  Hassan Aït-Kaci,et al.  Warren's Abstract Machine: A Tutorial Reconstruction , 1991 .

[12]  Andrea Formisano,et al.  Instructing Equational Set-Reasoning with Otter , 2001, IJCAR.

[13]  E. Rothkopf A measure of stimulus similarity and errors in some paired-associate learning tasks. , 1957, Journal of experimental psychology.

[14]  Andrea Formisano,et al.  Layered map reasoning: An experimental approach put to trial on sets , 2001, APPIA-GULP-PRODE.

[15]  Piero Pagliani,et al.  From Concept Lattices to Approximation Spaces: Algebraic Structures of Some Spaces of Partial Objects , 1993, Fundam. Informaticae.

[16]  Rocco De Nicola,et al.  An Equational Axiomatization of Bisimulation over Regular Expressions , 2002, J. Log. Comput..

[17]  D. Knuth,et al.  Simple Word Problems in Universal Algebras , 1983 .

[18]  Andrea Formisano,et al.  A graphical approach to relational reasoning , 2001, Electron. Notes Theor. Comput. Sci..

[19]  Yiyu Yao,et al.  Two views of the theory of rough sets in finite universes , 1996, Int. J. Approx. Reason..

[20]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[21]  Gunther Schmidt,et al.  Relations and Graphs , 1993, EATCS Monographs on Theoretical Computer Science.

[22]  E. Orlowska Relational interpretation of modal logics , 1988 .

[23]  Calogero G. Zarba,et al.  Compiling dyadic first-order specifications into map algebra , 2003, Theor. Comput. Sci..

[24]  Ernst-Erich Doberkat,et al.  Algebraic semantics of ER-models in the context of the calculus of relations , 2001, Electron. Notes Theor. Comput. Sci..

[25]  Ewa Orlowska,et al.  Relational Semantics for Nonclassical Logics: Formulas are Relations , 1994 .

[26]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[27]  Mark S. Bonchek,et al.  Analyzing politics : rationality, behavior, and institutions , 1996 .