Ewa Orlowska on Relational Methods in Logic and Computer Science
153.15 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10475761
Beschreibung
Chapter 1. Everything is a Relation: A Preview (Joanna Golinska-Pilarek).- Chapter 2. Autobiography (Ewa Orlowska).- Chapter 3. Engaged in Relations: A Trialogue (Ewa Orlowska).- Chapter 4. Bibliography of Ewa Orlowska (Joanna Golinska-Pilarek).- Chapter 5. Tableaus and Dual Tableaus (Melvin Fitting).- Chapter 6. Reasoning on Relations, Modalities, and Sets (Andrea Formisano). Chapter 7. Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations (Domenico Cantone).- Chapter 8. Logics for Order-of-magnitude Qualitative Reasoning: Formalizing Negligibility (Alfredo Burrieza).- Chapter 9. Signed Dual Tableaux for Kleene Answer Set Programs (Patrick Doherty).- Chapter 10. Machine-checked Meta-theory of Dual-Tableaux for Intuitionistic Logic (Jeremy E. Dawson).- Chapter 11. Modal Syllogistic (Tsvetan Vasilev).- Chapter 12. About the Complete Axiomatization of Dynamic Extensions of Arrow Logic (Philippe Balbiani).- Chapter 13. Adaptive Rough Sets and Vague Concepts (Andrzej Skowron).- Chapter 14. Guttman Algebras and a Model Checking Procedure for Guttman Scales (Ivo Düntsch).- Chapter 15. A Reasoning System for Satisfiability of Diagrammatic Specifications (Yngve Lamo).- Chapter 16. (Heterogeneous) Structured Specifications in Logics Without Interpolation (Carlos G. Lopez Pombo).- Chapter 17. Reasoning About Reversal-Bounded Counter Machines (Stéphane Demri).- Chapter 18. A Propositional Logical Encoding of Enriched Interactions in Abstract Argumentation Graphs (Claudette Cayrol).
Eigenschaften
Breite: | 161 |
Gewicht: | 929 g |
Höhe: | 238 |
Länge: | 35 |
Seiten: | 502 |
Sprachen: | Englisch |
Autor: | Joanna Golinska-Pilarek, Michal Zawidzki |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen