- Human Rationality Challenges Universal Logic.Brian R. Gaines - 2010 - Logica Universalis 4 (2):163-205.details
|
|
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.details
|
|
Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services.Jon Doyle & Ramesh S. Patil - 1991 - Artificial Intelligence 48 (3):261-297.details
|
|
Attributive concept descriptions with complements.Manfred Schmidt-Schauß & Gert Smolka - 1991 - Artificial Intelligence 48 (1):1-26.details
|
|
Computing the least common subsumer w.r.t. a background terminology.Franz Baader, Baris Sertkaya & Anni-Yasmin Turhan - 2007 - Journal of Applied Logic 5 (3):392-420.details
|
|
A refined architecture for terminological systems: Terminology = Schema + Views.M. Buchheit, F. M. Donini, W. Nutt & A. Schaerf - 1998 - Artificial Intelligence 99 (2):209-260.details
|
|
Tractable reasoning via approximation.Marco Schaerf & Marco Cadoli - 1995 - Artificial Intelligence 74 (2):249-310.details
|
|
An empirical analysis of terminological representation systems.Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel & Hans-Jürgen Profitlich - 1994 - Artificial Intelligence 68 (2):367-397.details
|
|
Extending the description logic EL with threshold concepts induced by concept measures.Franz Baader & Oliver Fernández Gil - 2024 - Artificial Intelligence 326 (C):104034.details
|
|
An epistemic operator for description logics.F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt & A. Schaerf - 1998 - Artificial Intelligence 100 (1-2):225-274.details
|
|
“Reducing” classic to practice: Knowledge representation theory meets reality.Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider & Alex Borgida - 1999 - Artificial Intelligence 114 (1-2):203-237.details
|
|
The complexity of existential quantification in concept languages.Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt & Alberto Marchetti Spaccamela - 1992 - Artificial Intelligence 53 (2-3):309-327.details
|
|
Planning from second principles.Jana Koehler - 1996 - Artificial Intelligence 87 (1-2):145-186.details
|
|
Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics.Daniel Gorín & Lutz Schröder - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 254-273.details
|
|