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

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