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

Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting + (Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting)
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting + (Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting)
Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 + (Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2)
Models of Concurrent Systems + (Wrap-Up)
Complexity Theory + (Wrapup and Outlook)
Academic Skills in Computer Science + (Writing & LaTeX)
Academic Skills in Computer Science + (Writing & Typesetting)
Academic Skills in Computer Science + (Writing Research Reports)
Academic Skills in Computer Science + (Writing Research Reports ctd.)
Academic Skills in Computer Science + (Writing Research Reports fin.)
Academic Skills in Computer Science + (Writing and Structure)
Academic Skills in Computer Science + (Writing and Structure)
Academic Skills in Computer Science + (Writing research reports)
Foundations of Semantic Web Technologies + (XML& RDF)
Finite and algorithmic model theory + (Zero-One Laws of FO)
Finite and algorithmic model theory (22/23) + (Zero-One Laws of FO)
Zur Integration von fall- und regelbasierten Verfahren im Entwicklungssystem FAENSY + (Zur Integration von fall- und regelbasierten Verfahren im Entwicklungssystem FAENSY)
Formale Systeme + (Zusammenfassung und Ausblick)
Formale Systeme + (Zusammenfassung und Ausblick)
Formale Systeme + (Zusammenfassung und Ausblick)
Concurrency Theory + ([http://www.cs.unibo.it/~sangio/DOC_public/CoinBookPart2.pdf Coinduction: Examples, Duality to Induction, and Proof Techniques])
Concurrency Theory + ([http://www.cs.unibo.it/~sangio/DOC_public/CoinBookPart3.pdf Algebraic Properties of Bisimilarity])
Foundations of Knowledge Representation + (bank holiday)
cf2 Semantics Revisited + (cf2 Semantics Revisited)
dARe -- Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base + (dARe -- Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base)

Concurrency Theory + (dies academicus)

flexABle – System Description for ICCMA 2023 + (flexABle – System Description for ICCMA 2023)
goDIAMOND 0.6.6 - ICCMA 2017 System Description + (goDIAMOND 0.6.6 - ICCMA 2017 System Description)
jcel: A Modular Rule-based Reasoner + (jcel: A Modular Rule-based Reasoner)
Complexity Theory + (moved to December 19)
Foundations of Knowledge Representation + (no exercise)
Concurrency Theory + (no exercise)
Models of Concurrent Systems + (no lecture)
Foundations of Knowledge Representation + (no lecture)
Foundations of Knowledge Representation + (no lecture)
Concurrency Theory + (no session)
Concurrency Theory + (no session)
Concurrency Theory + (no session)
npSolver - a SAT based Solver for Optimization Problems (System Description) + (npSolver - a SAT based Solver for Optimization Problems (System Description))
npSolver - a SAT based Solver for Optimization Problems + (npSolver - a SAT based Solver for Optimization Problems)
riss 2010 Solver Description + (riss 2010 Solver Description)
Formale Systeme + (Äquivalenz und Normalformen)
Formale Systeme + (Äquivalenz und Normalformen)
Formale Systeme + (Äquivalenzen und Normalformen)
Theoretische Informatik und Logik + (Übung 1)
Theoretische Informatik und Logik + (Übung 10)
Theoretische Informatik und Logik + (Übung 11)
Theoretische Informatik und Logik + (Übung 12)
Theoretische Informatik und Logik + (Übung 2)
Theoretische Informatik und Logik + (Übung 3)
Theoretische Informatik und Logik + (Übung 4)