Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description of Logic EL

, &
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 271-291 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description of Logic EL.Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 271-291.
Exploring the tractability border in epistemic tasks.Cédric Dégremont, Lena Kurzen & Jakub Szymanik - 2014 - Synthese 191 (3):371-408.
Dual tableau-based decision procedures for relational logics with restricted composition operator.Domenico Cantone, Marianna Nicolosi Asmundo & Ewa Orlowska - 2011 - Journal of Applied Non-Classical Logics 21 (2):177-200.
Dynamic Description Logics.Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 449-463.
Bounded fixed-parameter tractability and reducibility.Rod Downey, Jörg Flum, Martin Grohe & Mark Weyer - 2007 - Annals of Pure and Applied Logic 148 (1):1-19.
Dynamic Description Logics.Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 449-463.
A Modal Supervaluation Description Logic For Characterization Of Vague Concepts: Its Semantics And A Tableau Algorithm For It.Lei Liu & Lin Chen - 2006 - Logic Journal of the IGPL 14 (6):873-888.
Structural constraints and object similarity in analogical mapping and inference.Daniel C. Krawczyk, Keith J. Holyoak & John E. Hummel - 2004 - Thinking and Reasoning 10 (1):85 – 104.
Designing visual languages for description logics.Brian R. Gaines - 2009 - Journal of Logic, Language and Information 18 (2):217-250.
A Logic for Metric and Topology.Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):795 - 828.
Dynamic logic with program specifications and its relational proof system.Ewa Orlowska - 1993 - Journal of Applied Non-Classical Logics 3 (2):147-171.
There are some questions that can't be answered by logic.Jan van Eijck - unknown
Specification with Alloy — Foundations.Jan van Eijck - unknown
Relational Complexes.Joop Leo - 2013 - Journal of Philosophical Logic 42 (2):357-390.
Tractable query answering and rewriting under description logic constraints.Héctor Pérez-Urbina, Boris Motik & Ian Horrocks - 2010 - Journal of Applied Logic 8 (2):186-209.

Analytics

Added to PP
2020-02-06

Downloads
9 (#1,228,347)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An Escape From Vardanyan’s Theorem.Ana de Almeida Borges & Joost J. Joosten - 2023 - Journal of Symbolic Logic 88 (4):1613-1638.
Transitive primal infon logic.Carlos Cotrini & Yuri Gurevich - 2013 - Review of Symbolic Logic 6 (2):281-304.

Add more citations

References found in this work

No references found.

Add more references