Pages that link to "Carsten Lutz"

From Tetherless World Wiki

> Carsten Lutz

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 Carsten Lutz:

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

• Keys, Nominals, and Concrete Domains (← links)
• Conjunctive Query Answering for the Description Logic SHIQ (← links)
• Ian Horrocks (← links)
• Keys, Nominals, and Concrete Domains (Journal) (← links)
• Pushing the EL Envelope Further (← links)
• CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL (← links)
• Ulrike Sattler (← links)
• Frank Wolter (← links)
• Oliver Kutz (← links)
• Stephan Tobies (← links)
• Integrating Description Logics and Action Formalisms: First Results (← links)
• Pushing the EL Envelope (← links)
• Interval-based Temporal Reasoning with General TBoxes (← links)
• Reasoning with Concrete Domains (← links)
• Conservative Extensions in Expressive Description Logics (← links)
• A Description Logic of Change (← links)
• The complexity of finite model reasoning in description logics (← links)
• The Complexity of Finite Model Reasoning in Description Logics (← links)
• Finite Model Reasoning in ALCQI is EXPTIME Logics (← links)
• Modal Logic and the Two-Variable Fragment (← links)
• Description Logics and the Two-Variable Fragment (← links)
• The Complexity of Reasoning with Boolean Modal Logics (← links)
• Mary Likes all Cats (← links)
• A Suggestion for an n-ary Description Logic (← links)
• LTL over Description Logic Axioms (← links)
• Logical Difference and Module Extraction with CEX and MEX (← links)
• The Projection Problem for EL Actions (← links)
• Two Upper Bounds for Conjunctive Query Answering in SHIQ (← links)
• The Complexity of Conjunctive Query Answering in Expressive Description Logics (← links)
• Temporal Description Logics: A Survey (← links)
• The Complexity of Enriched Mu-Calculi (← links)
• PDL with Intersection and Converse is 2EXP-complete (← links)
• Conservative Extensions in the Lightweight Description Logic EL (← links)
• Data Complexity in the EL family of DLs (← links)
• Inverse Roles Make Conjunctive Queries Hard (← links)
• PDL with Intersection and Converse Is 2 EXP-Complete (← links)
• The complexity of query containment in expressive fragments of XPath 2.0 (← links)
• Temporalising Tractable Description Logics (← links)
• Quantitative temporal logics over the reals: PSpace and below (← links)
• A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes (← links)
• Propositional dynamic logic with recursive programs (← links)
• Complexity and succinctness of public announcement logic (← links)
• Conservative extensions in modal logic (← links)
• DL Actions with GCIs: a Pragmatic Approach (← links)
• CEL - A Polynomial-Time Reasoner for Life Science Ontologies (← 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)

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