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

Multilinguality in Knowledge Graphs + (Multilinguality in Knowledge Graphs)
Musings on Graph Data, Schemas, Modality, and Coinduction + (Musings on Graph Data, Schemas, Modality, and Coinduction)
Musings on the Semantics of SPARQL + (Musings on the Semantics of SPARQL)
Award1020 + (N. J. Lehmann Award)
Navigating ASP Solution Spaces (Canceled) + (Navigating ASP Solution Spaces (Canceled))
Navigation Approaches for Answer Sets + (Navigation Approaches for Answer Sets)
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit + (Nemo: Your Friendly and Versatile Rule Reasoning Toolkit)
Nested Sequents for First-Order Modal Logics via Reachability Rules + (Nested Sequents for First-Order Modal Logics via Reachability Rules)
Neue Mitarbeiterin: Dipl.-Inf Elisa Böhl + (Neue Mitarbeiterin: Dipl.-Inf Elisa Böhl)
Neue Mitarbeiterin: Dr. Lucía Gómez Álvarez + (Neue Mitarbeiterin: Dr. Lucía Gómez Álvarez)
Neue Mitarbeiterin: Dr. Luisa Herrmann + (Neue Mitarbeiterin: Dr. Luisa Herrmann)
Neue Version der adf_bdd-Bibliothek! + (Neue Version der adf_bdd-Bibliothek!)
Neue offene Stelle: Projektkoordinator/in + (Neue offene Stelle: Projektkoordinator/in)
Neuer Mitarbeiter: Alex Ivliev + (Neuer Mitarbeiter: Alex Ivliev)
Neuer Mitarbeiter: Dominik Rusovac + (Neuer Mitarbeiter: Dominik Rusovac)
Neuer Mitarbeiter: Dr. Stephan Mennicke + (Neuer Mitarbeiter: Dr. Stephan Mennicke)
Neuer Mitarbeiter: Jonas Karge + (Neuer Mitarbeiter: Jonas Karge)
Neuer Mitarbeiter: Lukas Gerlach + (Neuer Mitarbeiter: Lukas Gerlach)
Neuer Mitarbeiter: M.Sc. Ali Elhalawati + (Neuer Mitarbeiter: M.Sc. Ali Elhalawati)
Neuer Mitarbeiter: Piotr Gorczyca + (Neuer Mitarbeiter: Piotr Gorczyca)
Neuer Mitarbeiter: Piotr Ostropolski-Nalewaja + (Neuer Mitarbeiter: Piotr Ostropolski-Nalewaja)
Neuer Mitarbeiter: Stefan Ellmauthaler + (Neuer Mitarbeiter: Stefan Ellmauthaler)
Neuer Mitarbeiter: Tim Lyon + (Neuer Mitarbeiter: Tim Lyon)
Neues Online-Portal des International Center for Computational Logic geht ans Netz + (Neues Online-Portal des International Center for Computational Logic geht ans Netz)
Neural-Symbolic Integration - Constructive Approaches + (Neural-Symbolic Integration - Constructive Approaches)

Neuronale Netze zum induktiven Lernen über Aussagenlogischen Programmen + (Neuronale Netze zum induktiven Lernen über Aussagenlogischen Programmen)

News about Reasoning with Bit-Vectors + (News about Reasoning with Bit-Vectors)
NextClosures: Parallel Computation of the Canonical Base + (NextClosures: Parallel Computation of the Canonical Base)
Normalisations of Existential Rules: Not so Innocuous! + (Normalisations of Existential Rules: Not so Innocuous!)
Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics + (Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics)
Notation3 Logic: From informal to formal semantics + (Notation3 Logic: From informal to formal semantics)
Notation3 as an Existential Rule Language + (Notation3 as an Existential Rule Language)
Notes on Computational Learning Theory and the problem of learning CNFs + (Notes on Computational Learning Theory and the problem of learning CNFs)
Offene Postdoc-Stelle am Lehrstuhl für Wissensbasierte Systeme + (Offene Postdoc-Stelle am Lehrstuhl für Wissensbasierte Systeme)
Offene Stelle am Lehrstuhl für Computational Logic + (Offene Stelle am Lehrstuhl für Computational Logic)
On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics + (On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics)
On Computing Explanations in Argumentation + (On Computing Explanations in Argumentation)
On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic + (On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic)
On Mono- and Multilingual Word embeddings for NLP + (On Mono- and Multilingual Word embeddings for NLP)
On inconsistency-minimizing, paraconsistent reasoning in knowledge bases + (On inconsistency-minimizing, paraconsistent reasoning in knowledge bases)
On the Abstract Expressive Power of Description Logics with Concrete Domains + (On the Abstract Expressive Power of Description Logics with Concrete Domains)
On the Complexity of Synthesis of nop-Free Boolean Petri Nets + (On the Complexity of Synthesis of nop-Free Boolean Petri Nets)
On the Complexity of Universality for Partially Ordered NFAs + (On the Complexity of Universality for Partially Ordered NFAs)
On the Complexity of k-Piecewise Testability and the Depth of Automata + (On the Complexity of k-Piecewise Testability and the Depth of Automata)
On the Computation of Naive-based Argumentation Semantics + (On the Computation of Naive-based Argumentation Semantics)
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets + (On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets)
Ongoing Research in the NAVAS Project + (Ongoing Research in the NAVAS Project)
Ontological Modelling in Wikidata + (Ontological Modelling in Wikidata)
Ontologies for Knowledge Graphs: Breaking the Rules + (Ontologies for Knowledge Graphs: Breaking the Rules)
Ontology Evolution trough Interaction + (Ontology Evolution trough Interaction)
Ontology-Based Query Answering for Probabilistic Temporal Data + (Ontology-Based Query Answering for Probabilistic Temporal Data)