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

• 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)