Attribut:Pages
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
A
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms +
49-64 +
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
177-188 +
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report) +
48-59 +
347-361 +
388-402 +