Expressiveness of concept expressions in first-order description logics

Artificial Intelligence 107 (2):303-333 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,297

External links

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

Through your library

Similar books and articles

Second-order reasoning in description logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.
Complexity and nicety of fluted logic.William C. Purdy - 2002 - Studia Logica 71 (2):177 - 198.
Complexity and Nicety of Fluted Logic.William C. Purdy - 2002 - Studia Logica 71 (2):177-198.
A Description Logic Based Knowledge Representation Model for Concept Understanding.Farshad Badie - 2017 - In Jasper van den Herik, A. Rocha & J. Filipe (eds.), Agents and Artificial Intelligence. Cham, Switzerland: Springer.
A Correspondence between Temporal Description Logics.Alessandro Artale & Carsten Lutz - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):209-233.
On Minimal Models.Francicleber Ferreira & Ana Teresa Martins - 2007 - Logic Journal of the IGPL 15 (5-6):503-526.
From Description to Hybrid Logics, and Back.Carlos Areces & Maarten de Rijke - 2002 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 17-36.

Analytics

Added to PP
2020-12-22

Downloads
2 (#1,401,974)

6 months
1 (#450,425)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

A Simple Logic of Concepts.Thomas F. Icard & Lawrence S. Moss - forthcoming - Journal of Philosophical Logic:1-26.

Add more citations

References found in this work

Bisimulations for temporal logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.

Add more references