Ebook: Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers
- Tags: Mathematical Logic and Formal Languages, Software Engineering, Symbolic and Algebraic Manipulation, Artificial Intelligence (incl. Robotics), Category Theory Homological Algebra, Order Lattices Ordered Algebraic Structures
- Series: Lecture Notes in Computer Science 2561
- Year: 2002
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
This book constitutes the thoroughly refereed joint post-proceedings of the 6th International Conference on Relational Methods in Computer Science, RelMICS 2001 and the 1st Workshop of COST Action 274 TARSKI, Theory and Application of Relational Structures as Knowledge Instruments held in Oisterwijk, The Netherlands, in October 2001.
The 20 revised full papers presented together with an invited paper were carefully reviewed and selected. The papers are organized in topical sections on algebraic and logical foundations of real world relations, mechanization of relational reasoning, and relational scaling and preferences.
This book constitutes the thoroughly refereed joint post-proceedings of the 6th International Conference on Relational Methods in Computer Science, RelMICS 2001 and the 1st Workshop of COST Action 274 TARSKI, Theory and Application of Relational Structures as Knowledge Instruments held in Oisterwijk, The Netherlands, in October 2001.
The 20 revised full papers presented together with an invited paper were carefully reviewed and selected. The papers are organized in topical sections on algebraic and logical foundations of real world relations, mechanization of relational reasoning, and relational scaling and preferences.
This book constitutes the thoroughly refereed joint post-proceedings of the 6th International Conference on Relational Methods in Computer Science, RelMICS 2001 and the 1st Workshop of COST Action 274 TARSKI, Theory and Application of Relational Structures as Knowledge Instruments held in Oisterwijk, The Netherlands, in October 2001.
The 20 revised full papers presented together with an invited paper were carefully reviewed and selected. The papers are organized in topical sections on algebraic and logical foundations of real world relations, mechanization of relational reasoning, and relational scaling and preferences.
Content:
Front Matter....Pages I-X
A Relation-Algebraic Approach to Graph Structure Transformation....Pages 1-14
Emptiness Relations in Property Systems....Pages 15-34
Pregroups: Models and Grammars....Pages 35-49
Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View....Pages 50-65
Interpretability of First—Order Dynamic Logic in a Relational Calculus....Pages 66-80
Relations in GUHA Style Data Mining....Pages 81-87
Groups in Allegories....Pages 88-103
Distributed Conceptual Structures....Pages 104-123
A Computer Algebra Approach to Relational Systems Using Gr?bner Bases....Pages 124-133
Fuzzy Relational Images in Computer Science....Pages 134-151
A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories....Pages 152-170
Double Residuated Lattices and Their Applications....Pages 171-189
Interval Bilattices and Some Other Simple Bilattices....Pages 190-196
Interactive Systems: From Folklore to Mathematics....Pages 197-211
Relational Constructions in Goguen Categories....Pages 212-227
A Subintuitionistic Logic and Some of Its Methods....Pages 228-240
Implementation of Relational Algebra Using Binary Decision Diagrams....Pages 241-257
Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs....Pages 258-275
Calculating Church-Rosser Proofs in Kleene Algebra....Pages 276-290
On the Definition and Representation of a Ranking....Pages 291-299
Back Matter....Pages 315-315
Tangent Circle Algebras....Pages 300-313
This book constitutes the thoroughly refereed joint post-proceedings of the 6th International Conference on Relational Methods in Computer Science, RelMICS 2001 and the 1st Workshop of COST Action 274 TARSKI, Theory and Application of Relational Structures as Knowledge Instruments held in Oisterwijk, The Netherlands, in October 2001.
The 20 revised full papers presented together with an invited paper were carefully reviewed and selected. The papers are organized in topical sections on algebraic and logical foundations of real world relations, mechanization of relational reasoning, and relational scaling and preferences.
Content:
Front Matter....Pages I-X
A Relation-Algebraic Approach to Graph Structure Transformation....Pages 1-14
Emptiness Relations in Property Systems....Pages 15-34
Pregroups: Models and Grammars....Pages 35-49
Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View....Pages 50-65
Interpretability of First—Order Dynamic Logic in a Relational Calculus....Pages 66-80
Relations in GUHA Style Data Mining....Pages 81-87
Groups in Allegories....Pages 88-103
Distributed Conceptual Structures....Pages 104-123
A Computer Algebra Approach to Relational Systems Using Gr?bner Bases....Pages 124-133
Fuzzy Relational Images in Computer Science....Pages 134-151
A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories....Pages 152-170
Double Residuated Lattices and Their Applications....Pages 171-189
Interval Bilattices and Some Other Simple Bilattices....Pages 190-196
Interactive Systems: From Folklore to Mathematics....Pages 197-211
Relational Constructions in Goguen Categories....Pages 212-227
A Subintuitionistic Logic and Some of Its Methods....Pages 228-240
Implementation of Relational Algebra Using Binary Decision Diagrams....Pages 241-257
Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs....Pages 258-275
Calculating Church-Rosser Proofs in Kleene Algebra....Pages 276-290
On the Definition and Representation of a Ranking....Pages 291-299
Back Matter....Pages 315-315
Tangent Circle Algebras....Pages 300-313
....