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

Lehr- und Prüfungsbetrieb während der COVID-19 Pandemie + (Teaching, Examinations, and Learning During the COVID-19 Pandemic)
Temporal Logics with Probabilistic Distributions + (Temporal Logics with Probabilistic Distributions)
Temporal Query Answering in EL + (Temporal Query Answering in EL)
Temporal constraint satisfaction problems in least fixed point logic + (Temporal constraint satisfaction problems in least fixed point logic)
Temporal reasoning with DatalogMTL + (Temporal reasoning with DatalogMTL)
The 21st International Workshop on Description Logics 2008 + (The 21st International Workshop on Description Logics 2008)
The Combined Approach to Query Answering in Horn-ALCHOIQ + (The Combined Approach to Query Answering in Horn-ALCHOIQ)
The Combined Approach to Query Answering in Horn-ALCHOIQ + (The Combined Approach to Query Answering in Horn-ALCHOIQ)
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics + (The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics)
The Design of Modal Proof Theories: the case of S5 + (The Design of Modal Proof Theories: the case of S5)
The Identity Problem in Description Logic Ontologies + (The Identity Problem in Description Logic Ontologies)
The Method of Refinement: Deriving Proof-Calculi from Semantics for Multi-Modal Logics + (The Method of Refinement: Deriving Proof-Calculi from Semantics for Multi-Modal Logics)
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion + (The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion)
The Power of the Terminating Chase + (The Power of the Terminating Chase)
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard + (The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard)
The Relevance of Formal Logics for Cognitive Logics, and Vice Versa + (The Relevance of Formal Logics for Cognitive Logics, and Vice Versa)
The RustBelt and its Separation Logic + (The RustBelt and its Separation Logic)
The World Avatar project – a universal digital twin + (The World Avatar project – a universal digital twin)
Das Bewerbungsportal für den Studiengang "European Master's Program in Computational Logic" wurde am 31.05.2017 geschlossen. + (The online application portal for the "European Master's Program in Computational Logic" closed on 31.05. 2017.)
Das Bewerbungsportal für das internationale MSc Program in Computational Logic öffnet am 1. April 2015. + (The online application portal for the "International MSc Program in Computational Logic" opens on 1 April 2015.)
Theorem Proving with LEAN + (Theorem Proving with LEAN: First Meeting (Practical))
Theorem Proving with LEAN + (Theorem Proving with LEAN: Kick-off Meeting (Practical))
Theorem Proving with LEAN + (Theorem Proving with LEAN: Kickoff (Practical))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 1. Einleitung und Motivation (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 1. Konsultation (Consultation))

Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 1. Mai (No session))

Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 1. Vorlesung: Willkommen/Einleitung/Übersicht (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 1. Vorlesung: Willkommen und Einleitung (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 1. Übungsblatt (Exercise))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 1. Übungsblatt (Exercise))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 10. NP, Teil 2 (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 10. Vorlesung: NP, Teil 2 (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 10. Vorlesung: NP, Teil 2 (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 10. Übungsblatt (Exercise))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 10. Übungsblatt (Exercise))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 11. NL und PSpace (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 11. Vorlesung: NL und PSpace (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 11. Vorlesung: NL und PSpace (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 11. Übungsblatt (Exercise))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 11. Übungsblatt (Exercise))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 12. PSpace-Vollständigkeit (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 12. Vorlesung: PSpace-Vollständigkeit (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 12. Vorlesung: PSpace-Vollständigkeit (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 12. Übungsblatt (Exercise))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 12. Übungsblatt (Exercise))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 13. Prädikatenlogik: Syntax und Semantik (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 13. Vorlesung: Prädikatenlogik – Syntax und Semantik (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 13. Vorlesung: Prädikatenlogik: Syntax und Semantik (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 14. Modelltheorie und logisches Schließen (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 14. Vorlesung: Modelltheorie und logisches Schließen (Lecture))
Theoretische Informatik und Logik + (Theoretische Informatik und Logik: 14. Vorlesung: Modelltheorie und logisches Schließen (Lecture))