Suche mittels Attribut

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

• Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel  + (Applied Logic Series)
• Unification Theory  + (Applied Logic Series)

• Towards Propositional KLM-Style Defeasible Standpoint Logics  + (CCIS)
• Non-monotonic Extensions to Formal Concept Analysis via Object Preferences  + (CCIS)
• Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011  + (CEUR)
• Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Košice, Slovakia, October 7-10, 2014  + (CEUR)
• Implementation and evaluation of a tableau algorithm for the Guarded Fragment  + (CEUR)
• Proceedings of the First International Workshop on Uncertainty in Description Logics  + (CEUR)
• Role-depth Bounded Least Common Subsumers for EL+ and ELI  + (CEUR)
• On the complexity of Horn description logics  + (CEUR Workshop Proceedings)
• Encoding Closure Operators into Neural Networks  + (CEUR Workshop Proceedings)
• Relational Exploration - Reconciling Plato and Aristotle  + (CEUR Workshop Proceedings)
• A Matter of Principles: Towards the Largest DLP Possible  + (CEUR Workshop Proceedings)
• Orel: Database-Driven Reasoning for OWL 2 Profiles  + (CEUR Workshop Proceedings)
• DLP isn't so bad after all  + (CEUR Workshop Proceedings)
• Proceedings of the Workshop on Foundations of Artificial Intelligence, FAInt-07, at KI-2007, Osnabrück, Germany, September 2007  + (CEUR Workshop Proceedings)
• Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)  + (CEUR Workshop Proceedings)
• Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 201  + (CEUR Workshop Proceedings)
• Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013  + (CEUR Workshop Proceedings)
• Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2013), Beijing, China, August 5, 2013  + (CEUR Workshop Proceedings)
• Conjunctive Queries for EL with Role Composition  + (CEUR Workshop Proceedings)
• OWL: Yet to arrive on the Web of Data?  + (CEUR Workshop Proceedings)
• All Elephants are Bigger than All Mice  + (CEUR Workshop Proceedings)
• Fixed Parameter Tractable Reasoning in DLs via Decomposition  + (CEUR Workshop Proceedings)
• Supplementary Proceedings of ICCS'09  + (CEUR Workshop Proceedings)
• The Two Views on Ontological Query Answering  + (CEUR Workshop Proceedings)
• Using OWL DL Reasoning to decide about authorization in RBAC  + (CEUR Workshop Proceedings)
• Correcting Access Restrictions to a Consequence More Flexibly  + (CEUR Workshop Proceedings)
• Fuzzy Ontologies over Lattices with T-norms  + (CEUR Workshop Proceedings)
• Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics  + (CEUR Workshop Proceedings)
• A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes  + (CEUR Workshop Proceedings)
• UEL: Unification Solver for EL  + (CEUR Workshop Proceedings)
• Computing the lcs w.r.t. General EL^+ TBoxes  + (CEUR Workshop Proceedings)
• Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs  + (CEUR Workshop Proceedings)
• Hybrid EL-Unification is NP-Complete  + (CEUR Workshop Proceedings)
• COBRA, a Demo  + (CEUR Workshop Proceedings)
• Certain Answers in a Rough World  + (CEUR Workshop Proceedings)
• Axiom Dependency Hypergraphs for Fast Modularisation and Atomic Decomposition  + (CEUR Workshop Proceedings)