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

• The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus  + (The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus)
• The Varieties of Ought-implies-Can and Deontic STIT Logic  + (The Varieties of Ought-implies-Can and Deontic STIT Logic)
• The WHILE Hierarchy of Program Schemes is Infinite  + (The WHILE Hierarchy of Program Schemes is Infinite)
• The Weak Completion Semantics and Counter Examples  + (The Weak Completion Semantics and Counter Examples)
• The Weak Completion Semantics and Counterexamples  + (The Weak Completion Semantics and Counterexamples)
• The Weak Completion Semantics and Equality  + (The Weak Completion Semantics and Equality)
• The Well-Founded Semantics is a Stratified Fitting Semantics  + (The Well-Founded Semantics is a Stratified Fitting Semantics)
• The World Avatar project – a universal digital twin  + (The World Avatar project – a universal digital twin)
• The World Avatar project – a universal digital twin  + (The World Avatar project – a universal digital twin)
• The cf2 Argumentation Semantics Revisited  + (The cf2 Argumentation Semantics Revisited)
• The cf2 argumentation semantics revisited  + (The cf2 argumentation semantics revisited)
• The classification of homomorphism homogeneous tournaments  + (The classification of homomorphism homogeneous tournaments)
• The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming  + (The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming)
• The effect of tossing coins in omega-automata  + (The effect of tossing coins in omega-automata)
• The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics  + (The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics)
• The online application portal for the "European Master's Program in Computational Logic" closed on 31.05. 2017.  + (The online application portal for the "European Master's Program in Computational Logic" closed on 31.05. 2017.)
• The online application portal for the "International MSc Program in Computational Logic" opens on 1 April 2015.  + (The online application portal for the "International MSc Program in Computational Logic" opens on 1 April 2015.)
• The role of pragmatics in solving the Winograd Schema Challenge  + (The role of pragmatics in solving the Winograd Schema Challenge)
• The two cultures: mashing up Web 2.0 and the Semantic Web  + (The two cultures: mashing up Web 2.0 and the Semantic Web)
• The variance-penalized stochastic shortest path problem  + (The variance-penalized stochastic shortest path problem)
• Themenvorschläge für Studien- und Abschlussarbeiten  + (Themenvorschläge für Studien- und Abschlussarbeiten)
• Theofilos Mailis  + (Theofilos Mailis)
• Theofilos Mailis  + (Theofilos Mailis)
• Theorem Proving for Metric Temporal Logic over the Naturals  + (Theorem Proving for Metric Temporal Logic over the Naturals)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theoretische Informatik  + (Theoretische Informatik)

• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)

• Theses  + (Theses)
• Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)  + (Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008))
• Third Workshop on Human Reasoning and Computational Logic  + (Third Workshop on Human Reasoning and Computational Logic)
• Third Workshop on Human Reasoning and Computational Logic  + (Third Workshop on Human Reasoning and Computational Logic)
• Third Workshop on Human Reasoning and Computational Logic  + (Third Workshop on Human Reasoning and Computational Logic)
• Thomas Bruderrek  + (Thomas Bruderrek)
• Thomas Feller  + (Thomas Feller)
• Thomas Feller  + (Thomas Feller)
• Thomas Hinze  + (Thomas Hinze)
• Thomas Hinze  + (Thomas Hinze)
• Tight Complexity Bounds for Reasoning in the Description Logic BEL  + (Tight Complexity Bounds for Reasoning in the Description Logic BEL)
• Tim Lyon  + (Tim Lyon)
• Tim Lyon  + (Tim Lyon)
• Timetable  + (Timetable)
• Timetable and Courses description for Winter Term 2016/2017  + (Timetable and Courses description for Winter Term 2016/2017)
• Timetable and Courses description for Winter Term 2016/2017  + (Timetable and Courses description for Winter Term 2016/2017)
• Timetable in Summer Term 2016  + (Timetable in Summer Term 2016)