Attribut:Volume
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
A
6 +
972 +
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms +
5823 +
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
3353 +
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report) +
2961 +