Pages that link to "Michael Zakharyaschev"

From Tetherless World Wiki

> Michael Zakharyaschev

What links here

Page:  Namespace:  all (Main) Talk User User talk Tetherless World Wiki Tetherless World Wiki talk Image Image talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Relation Relation talk Property Property talk Type Type talk Form Form talk Concept Concept talk Widget Widget talk latex Blog Blog-talk baojie baojie-talk test tw tw-talk latex latex-talk co co-talk rule rule-talk email email-talk

Filters

Hide transclusions | Hide links | Hide redirects

The following pages link to Michael Zakharyaschev:

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)

• Carsten Lutz (← links)
• Frank Wolter (← links)
• Oliver Kutz (← links)
• DL-Lite in the Light of First-Order Logic (← links)
• Reasoning about distances (← links)
• Multi-Dimensional Description Logics (← links)
• Temporal Description Logics: A Survey (← links)
• Temporalising Tractable Description Logics (← links)
• Conservative extensions in modal logic (← links)
• E-connections of abstract description systems (← links)
• Temporalising Tableaux (← links)
• E-connections of Description Logics (← links)
• Resasoning about Concepts and Similarity (← links)
• A Tableau Algorithm for Reasoning about Concepts and Similarity (← links)
• A Tableau Decision Algorithm for Modalized ALC with Constant Domains (← links)
• Tableaux for Temporal Description Logic with Constant Domains (← links)
• Checking DL-Lite Modularity with QBF Solvers (← links)
• Can You Tell the Difference Between DL-Lite Ontologies? (← links)
• On the Computational Complexity of Spatial Logics with Connectedness Constraints (← links)
• Undecidability of the unification and admissibility problems for modal and description logics (← links)
• Modularity in DL-Lite (← links)
• Spatial Logic + Temporal Logic = ? (← links)
• A Logic for Concepts and Similarity (← links)
• Dynamic topological logics over spaces with continuous functions (← links)
• From topology to metric: modal logic and quantification in metric spaces (← links)
• Automated Reasoning About Metric and Topology (← links)
• Non-primitive recursive decidability of products of modal logics with expanding domains (← links)
• Willem Blok and Modal Logic (← links)
• On Dynamic Topological and Metric Logics (← links)
• Temporal Logics over Transitive States (← links)
• 'Closer' representation and reasoning (← links)
• Comparative Similarity, Tree Automata, and Diophantine Equations (← links)
• Modal Logics for Metric Spaces: Open Problems (← links)
• Combining Spatial and Temporal Logics: Expressiveness vs. Complexity (← links)
• On Non-local Propositional and Weak Monodic Quantified CTL (← links)
• On the Computational Complexity of Spatio-Temporal Logics (← links)
• On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics (← links)
• Logics of metric spaces (← links)
• Editorial Preface (← links)
• A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries (← links)
• Connecting Abstract Description Systems (← links)
• Decidable and Undecidable Fragments of First-Order Branching Temporal Logics (← links)
• On Non-Local Propositional and Local One-Variable Quantified CTL* (← links)
• Axiomatizing the monodic fragment of first-order temporal logic (← links)
• Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning (← links)
• Axiomatizing Distance Logics (← links)
• A Note on Concepts and Distances (← links)
• The DLRUS Temporal Description Logic (← links)
• Monodic fragments of first-order temporal logics: 2000-2001 A.D (← links)
• Reasoning over Conceptual Schemas and Queries in Temporal Databases (← links)

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)