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

• Identifying and Modelling Polysemous Senses of Spatial Prepositions in Referring Expressions  + (Adam)
• dARe -- Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base  + (Adam Z.)
• Data Complexity in the EL family of Description Logics  + (Adila)
• Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning  + (Adrian)
• SparrowToRiss  + (Adrian)
• CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies  + (Adrian)
• An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process.  + (Adrian)
• Practical Linked Data Access via SPARQL: The Case of Wikidata  + (Adrian)
• Display to Labeled Proofs and Back Again for Tense Logics  + (Agata)
• Modern Cooperative Parallel SAT Solving  + (Ahmed)
• Search Space Splitting with Lookahead  + (Ahmed)
• A Theory of Hypothesis Finding in Clausal Logic  + (Akihiro)
• The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events  + (Aldo)
• A Description Logic of Change  + (Alessandro)

• A Calculus of Order and Interaction  + (Alessio)
• A Calculus of Order and Interaction  + (Alessio)
• A Non-commutative Extension of MELL  + (Alessio)
• A System of Interaction and Structure  + (Alessio)
• Non-commutativity and MELL in the Calculus of Structures  + (Alessio)
• The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference  + (Alessio)

• Parsing of Lexicalised Linear Context-Free Rewriting Systems via Supertagging  + (Alex)
• Reliance-Based Optimization of Existential Rule Reasoning  + (Alex)
• Nemo: First Glimpse of a New Rule Engine  + (Alex)
• Nemo: Your Friendly and Versatile Rule Reasoning Toolkit  + (Alex)
• Nemo: A Scalable and Versatile Datalog Engine  + (Alex)
• Self-Regulating Finite Automata  + (Alexander)
• HUGS - A Lightweight Graph Partitioning Approach  + (Alexander)
• Partitioning Strategy Selection for In-Memory Graph Pattern Matching on Multiprocessor Systems  + (Alexander)
• Asynchronous Graph Pattern Matching on Multiprocessor Systems  + (Alexander)
• Model Checking with Formula-Dependent Abstract Models  + (Alexander)
• An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog  + (Ali)
• Web-Mining Defeasible Knowledge from Concessional Statements  + (Alina)
• Properties of a Logical System in the Calculus of Structures  + (Alwen Fernanto)
• Combining A1- and AC1-Unification Sharing Unit  + (Alwen Fernanto)
• A1-Unification  + (Alwen Fernanto)
• An Ontology Design Pattern for Activity Reasoning  + (Amin)
• A computational logic approach to human syllogistic reasoning  + (Ana)
• Happy Ever After: Temporally Attributed Description Logics  + (Ana)
• Temporally Attributed Description Logics  + (Ana)
• Optimizations for the role-depth bounded least common subsumer in el+  + (Andreas)
• Role-depth Bounded Least Common Subsumers for EL+ and ELI  + (Andreas)
• Reasoning about Actions Meets Strategic Logics  + (Andreas)