Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- MinitSAT + (University of Helsinki, Helsinki, Finland)
- Decomposing Finite Closure Operators by Attribute Exploration + (University of Nicosia)
- Literal Projection and Circumscription + (University of Oslo)
- Terminology Meets the Multilingual Semantic Web – Terms as Labels of Concepts + (University of Vienna)
- Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics + (Universität Bremen / Universität Freiburg, Germany)
- Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning + (Universität Leipzig)
- Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification + (Universitätsverlag Karlsruhe)
- Contributions to ICFCA 2009 + (Verlag Allgemeine Wissenschaft)
- Computing the hierarchy of conjunctions of concept names and their negations in a Description Logic knowledge base using Formal Concept Analysis (ICFCA 2006) + (Verlag Allgemeine Wissenschaft)
- Termersetzungssysteme, Skript zur Vorlesung + (Verlag der Augustinus Buchhandlung)
- Schnittbildanatomie – Interaktives klinisch-topographisches Lernprogramm + (W. de Gruyter)
- Wikipedia and the Semantic Web - The Missing Links + (Wikimedia Foundation)
- Description Logics with Concrete Domains—A Survey + (World Scientific Publishing Co. Pte. Ltd.)
- Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-monotonic Reasoning (ArgLPNMR 2016) + (arXiv.org)
- Improved Answer-Set Programming Encodings for Abstract Argumentation + (arXiv:1507.06689)
- Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules + (ijcai.org)
- Simulating Sets in Answer Set Programming + (ijcai.org)
- Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL + (ijcai.org)
- Data Complexity in Expressive Description Logics With Path Expressions + (ijcai.org)
- Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents + (ijcai.org)
- Knowledge-Based Support for Scholarly Editing and Text Processing + (nisaba verlag)
- Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects + (open-advice.org)
- Semantik, Web, Metadaten und digitale Edition: Grundlagen und Ziele der Erschließung neuer Quellen des Branitzer Pückler-Archivs + (trafo Verlag)
- Blackhole State-Controlled Regulated Pushdown Automata + (Österreichische Computer Gesellschaft)
