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

• Models of Concurrent Systems  + (Models of Concurrent Systems: The Calculus of Communicating Systems (Lecture))
• Models of Concurrent Systems  + (Models of Concurrent Systems: The Pi-Calculus: Labeled Transition Semantics (Lecture))
• Models of Concurrent Systems  + (Models of Concurrent Systems: The Pi-Calculus: Syntax and Reduction Semantics (Lecture))
• Models of Concurrent Systems  + (Models of Concurrent Systems: The Pi-Calculus: Examples and Reductions (Lecture))
• Models of Concurrent Systems  + (Models of Concurrent Systems: The Pi-Calculus: The Harmony Lemma (Lecture))
• Models of Concurrent Systems  + (Models of Concurrent Systems: The Pi-Calculus: Properties of the LTS-Semantics (Lecture))
• Models of Concurrent Systems  + (Models of Concurrent Systems: Wrap-Up (Lecture))
• Models of Concurrent Systems  + (Models of Concurrent Systems: no lecture (No session))
• Monadic Reasoning with Weak Completion Semantics  + (Monadic Reasoning with Weak Completion Semantics)
• Monadic Reasoning with Weak Completion Semantics  + (Monadic Reasoning with Weak Completion Semantics)
• Monotone Monadic SNP 1: Classical Results and Applications  + (Monotone Monadic SNP 1: Classical Results and Applications)
• Monotone Monadic SNP 2: Proof of the Universal-algebraic Dichotomy Conjecture  + (Monotone Monadic SNP 2: Proof of the Universal-algebraic Dichotomy Conjecture)
• Morphisms in Logic, Topology, and Formal Concept Analysis  + (Morphisms in Logic, Topology, and Formal Concept Analysis)
• Most Probable Explanations for Probabilistic Database Queries  + (Most Probable Explanations for Probabilistic Database Queries)
• Multi-Context Stream Reasoning  + (Multi-Context Stream Reasoning)
• Multi-Cultural Commonsense Knowledge Base Construction  + (Multi-Cultural Commonsense Knowledge Base Construction)
• 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)
• 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)

• Neuer Mitarbeiter: Alex Ivliev  + (New Member: Alex Ivliev)
• Neue Mitarbeiterin: Dipl.-Inf Elisa Böhl  + (New Member: Dipl.-Inf Elisa Böhl)
• Neuer Mitarbeiter: Dominik Rusovac  + (New Member: Dominik Rusovac)
• Neue Mitarbeiterin: Dr. Lucía Gómez Álvarez  + (New Member: Dr. Lucía Gómez Álvarez)
• Neue Mitarbeiterin: Dr. Luisa Herrmann  + (New Member: Dr. Luisa Herrmann)
• Neuer Mitarbeiter: Dr. Stephan Mennicke  + (New Member: Dr. Stephan Mennicke)
• Neuer Mitarbeiter: Jonas Karge  + (New Member: Jonas Karge)
• Neuer Mitarbeiter: Lukas Gerlach  + (New Member: Lukas Gerlach)
• Neuer Mitarbeiter: M.Sc. Ali Elhalawati  + (New Member: M.Sc. Ali Elhalawati)
• Neuer Mitarbeiter: Piotr Gorczyca  + (New Member: Piotr Gorczyca)
• Neuer Mitarbeiter: Piotr Ostropolski-Nalewaja  + (New Member: Piotr Ostropolski-Nalewaja)
• Neuer Mitarbeiter: Stefan Ellmauthaler  + (New Member: Stefan Ellmauthaler)
• Neuer Mitarbeiter: Tim Lyon  + (New Member: Tim Lyon)
• Neue Version der adf_bdd-Bibliothek!  + (New adf_bdd library release!)
• Neue offene Stelle: Projektkoordinator/in  + (New open position: project coordinator)
• 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)
• 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)