Pages that link to "Frank Wolter"

From Tetherless World Wiki

> Frank Wolter

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 Frank Wolter:

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

• CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL (← links)
• Ulrike Sattler (← links)
• Carsten Lutz (← links)
• Oliver Kutz (← links)
• Integrating Description Logics and Action Formalisms: First Results (← links)
• Reasoning about distances (← links)
• Multi-Dimensional Description Logics (← links)
• Conservative Extensions in Expressive Description Logics (← links)
• Modal Logic and the Two-Variable Fragment (← links)
• Description Logics and the Two-Variable Fragment (← links)
• Logical Difference and Module Extraction with CEX and MEX (← links)
• Temporal Description Logics: A Survey (← links)
• Conservative Extensions in the Lightweight Description Logic EL (← links)
• Temporalising Tractable Description Logics (← links)
• Quantitative temporal logics over the reals: PSpace and below (← links)
• Conservative extensions in modal logic (← links)
• DL Actions with GCIs: a Pragmatic Approach (← links)
• Reasoning About Actions Using Description Logics with General TBoxes (← links)
• Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics (← links)
• Description Logics with Circumscription (← links)
• Updating Description Logic ABoxes (← links)
• Modal Logics of Topological Relations (← links)
• ATL Satisfiability is Indeed EXPTIME-complete (← links)
• Quantitative Temporal Logics: PSPACE and Below (← links)
• E-connections of abstract description systems (← links)
• Temporalising Tableaux (← links)
• E-connections of Description Logics (← links)
• Resasoning about Concepts and Similarity (← links)
• From Tableaux to Automata for Description Logics (← links)
• A Tableau Algorithm for Reasoning about Concepts and Similarity (← links)
• Fusions of Description Logics and Abstract Description Systems (← 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)
• Fusions of Description Logics (← links)
• The Logical Difference Problem for Description Logic Terminologies (← 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)

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