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

• Theoretische Informatik und Logik  + (Einführung in die Komplexitätstheorie)
• Theoretische Informatik und Logik  + (Einführung in die Komplexitätstheorie)
• Formale Systeme  + (Einleitung Kellerautomaten)
• Formale Systeme  + (Einleitung formale Sprachen)
• Theoretische Informatik und Logik  + (Einleitung und Übersicht)
• Theoretische Informatik und Logik  + (Einleitung, Übersicht, Turingmaschinen)
• Theoretische Informatik und Logik  + (Einleitung, Übersicht, Turingmaschinen)
• Seminar Rule-Based Paradigms in KR  + (Elevator Pitch)
• Embedding Defaults into Terminological Representation Systems  + (Embedding Defaults into Terminological Representation Systems)
• Embedding Defaults into Terminological Representation Systems  + (Embedding Defaults into Terminological Representation Systems)
• Embedding Defaults into Terminological Representation Systems  + (Embedding Defaults into Terminological Representation Systems)
• Empirical evaluation of reasoning in lightweight DLs on life science ontologies  + (Empirical evaluation of reasoning in lightweight DLs on life science ontologies)
• Employing DL-LiteR-Reasoners for Fuzzy Query Answering  + (Employing DL-LiteR-Reasoners for Fuzzy Query Answering)
• Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations  + (Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations)
• Encoding Closure Operators into Neural Networks  + (Encoding Closure Operators into Neural Networks)
• Knowledge Graphs  + (Encoding Graphs in RDF)
• Encoding monotonic multi-set preferences using CI-nets: preliminary report  + (Encoding monotonic multi-set preferences using CI-nets: preliminary report)
• Encoding monotonic multiset preferences using CI-nets  + (Encoding monotonic multiset preferences using CI-nets)
• Formale Systeme  + (Endliche Automaten)
• Formale Systeme  + (Endliche Automaten)
• Formale Systeme  + (Endliche Automaten)
• Theoretische Informatik und Logik  + (Endliche Modelle und Datenbanken)
• Theoretische Informatik und Logik  + (Endliche Modelle und Datenbanken)
• Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking  + (Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking)
• Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination  + (Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination)

• Energy-Utility Quantiles  + (Energy-Utility Quantiles)

• Enhancing Probabilistic Model Checking with Ontologies  + (Enhancing Probabilistic Model Checking with Ontologies)
• Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes  + (Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes)
• Entropic Risk for Turn-Based Stochastic Games  + (Entropic Risk for Turn-Based Stochastic Games)
• Enumerating Satisfiable Propositional Formulae  + (Enumerating Satisfiable Propositional Formulae)
• Seminar: Knowledge Representation  + (Epistemic Logic - canceled)
• Seminar Logic-Based Knowledge Representation  + (Epistemic Logics)
• Epistemic Queries for OWL  + (Epistemic Queries for OWL)
• Epistemic Queries for OWL Knowledge Bases  + (Epistemic Queries for OWL Knowledge Bases)
• Science of Computational Logic  + (Equational Logic)
• Science of Computational Logic  + (Equational Logic)
• Science of Computational Logic  + (Equational Logic)
• Science of Computational Logic  + (Equational Logic)
• Science of Computational Logic  + (Equational Logic Exercise Sheet)
• Equational Logic and Theories of Action  + (Equational Logic and Theories of Action)
• Formale Systeme  + (Ergebnisse der Vorlesungsevaluation)
• Error-Tolerant Reasoning in the Description Logic EL  + (Error-Tolerant Reasoning in the Description Logic EL)
• Error-Tolerant Reasoning in the Description Logic EL  + (Error-Tolerant Reasoning in the Description Logic EL)
• Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach  + (Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach)
• Estrategias de combinación de recursos lexicográficos en la adquisición de lenguas extranjeras (en contextos específicos)  + (Estrategias de combinación de recursos lexicográficos en la adquisición de lenguas extranjeras (en contextos específicos))
• Evaluating Abstract Dialectical Frameworks with ASP  + (Evaluating Abstract Dialectical Frameworks with ASP)
• Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies  + (Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies)
• Evaluation of Extraction Techniques for Ontology Excerpts  + (Evaluation of Extraction Techniques for Ontology Excerpts)
• Concurrency Theory  + (Everything you always wanted to know about Petri Nets)
• Evolution of Self-Definition  + (Evolution of Self-Definition)
• Problem Solving and Search in Artificial Intelligence  + (Evolutionary Algorithms)