Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(1)
Second Order
Subscribe
Academic
Publications
EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers
EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers,Carsten Lutz,Robert Piro,Frank Wolter
Edit
EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers
BibTex
|
RIS
|
RefWorks
Download
Carsten Lutz
,
Robert Piro
,
Frank Wolter
Conference:
Description Logics - DLog
, 2010
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.csc.liv.ac.uk
)
(
www.informatik.uni-bremen.de
)
(
ceur-ws.org
)
(
www.informatik.uni-trier.de
)
More »
References
(21)
Using Automata Theory for Characterizing the Semantics of Terminological Cycles
(
Citations: 47
)
Franz Baader
Journal:
Annals of Mathematics and Artificial Intelligence - AMAI
, vol. 18, no. 2-4, pp. 175-219, 1996
The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics
(
Citations: 13
)
Franz Baader
Conference:
German Conference on Artificial Intelligence - KI
, pp. 64-78, 2003
Terminological Cycles in a Description Logic with Existential Restrictions
(
Citations: 71
)
Franz Baader
Conference:
International Joint Conference on Artificial Intelligence - IJCAI
, pp. 325-330, 2003
Pushing the EL Envelope
(
Citations: 201
)
Franz Baader
,
Sebastian Brandt
,
Carsten Lutz
Conference:
International Joint Conference on Artificial Intelligence - IJCAI
, pp. 364-369, 2005
The Description Logic Handbook: Theory, Implementation, and Applications
(
Citations: 1258
)
Franz Baader
,
Diego Calvanese
,
Deborah L. McGuinness
,
Daniele Nardi
,
Peter F. Patel-Schneider
Conference:
Description Logics - DLog
, 2003