Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

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)