Suche mittels Attribut
Aus International Center for Computational Logic
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
- Seminar "Learning in Description Logics" + (Seminar "Learning in Description Logics")
- Seminar Abstract Argumentation + (Seminar Abstract Argumentation)
- Seminar Abstract Argumentation + (Seminar Abstract Argumentation)
- Seminar Abstract Argumentation + (Seminar Abstract Argumentation)
- Seminar Data-Aware Processes + (Seminar Data-Aware Processes)
- Seminar Large Language Models and Knowledge-aware AI + (Seminar Large Language Models and Knowledge-aware AI)
- Seminar Logic-Based Knowledge Representation + (Seminar Logic-Based Knowledge Representation)
- Seminar Logic-Based Knowledge Representation + (Seminar Logic-Based Knowledge Representation)
- Seminar Logic-Based Knowledge Representation + (Seminar Logic-Based Knowledge Representation)
- Seminar Practical Planning for Angry Birds + (Seminar Practical Planning for Angry Birds)
- Seminar Rule-Based Paradigms in KR + (Seminar Rule-Based Paradigms in KR)
- Seminar Selected Topics in Database Theory + (Seminar Selected Topics in Database Theory)
- Seminar Selected Topics in Database Theory + (Seminar Selected Topics in Database Theory)
- Seminar Selected Topics of Computational Logic + (Seminar Selected Topics of Computational Logic)
- Seminar Selected Topics on Existential Rules + (Seminar Selected Topics on Existential Rules)
- Seminar Theoretical Computer Science + (Seminar Theoretical Computer Science)
- Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting" + (Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting")
- Seminar Theoretical Computer Science "Automata for Description Logics" + (Seminar Theoretical Computer Science "Automata for Description Logics")
- Seminar Theoretical Computer Science "Learning in Description logics" + (Seminar Theoretical Computer Science "Learning in Description logics")
- Seminar “Selected Topics in Logic and Verification” + (Seminar “Selected Topics in Logic and Verification”)
- Seminar “Selected Topics in Logic and Verification” + (Seminar “Selected Topics in Logic and Verification”)
- Seminar “Selected Topics in Logic and Verification” + (Seminar “Selected Topics in Logic and Verification”)
- Seminar: Further Topics in Description Logics + (Seminar: Further Topics in Description Logics)
- Seminar: Knowledge Representation + (Seminar: Knowledge Representation)
- Seminar: Logical Modelling + (Seminar: Logical Modelling)
- Seminar: Logical Modelling + (Seminar: Logical Modelling)
- Semiring Artificial Neural Networks and Weighted Automata — And an Application to Digital Image Encoding — + (Semiring Artificial Neural Networks and Weighted Automata — And an Application to Digital Image Encoding —)
- Algorithmic Game Theory + (Sequential Games with Perfect Information)
- Algorithmic Game Theory + (Sequential Games with Perfect Information)
- Algorithmic Game Theory + (Sequential Games with Perfect Information)
- Algorithmic Game Theory + (Sequential Games with Perfect Information)
- Sequentiality of Group-Weighted Tree Automata + (Sequentiality of Group-Weighted Tree Automata)
- Practical Planning for Angry Birds + (Setup your Game Framework)
- Foundations of Semantic Web Technologies + (Shapes)
- Foundations of Semantic Web Technologies + (Shapes)
- ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web + (ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web)
- Sharing Information in Parallel Search with Search Space Partitioning + (Sharing Information in Parallel Search with Search Space Partitioning)
- Sharing Information in Parallel Search with Search Space Partitioning + (Sharing Information in Parallel Search with Search Space Partitioning)
- Shortipedia: Aggregating and Curating Semantic Web Data + (Shortipedia: Aggregating and Curating Semantic Web Data)
- LATPub721 + (Similarity Measures for Computing Relaxed Instances w.r.t. General EL-TBoxes)
- Similarity-based Relaxed Instance Queries + (Similarity-based Relaxed Instance Queries)
- Similarity-based Relaxed Instance Queries in EL^++ + (Similarity-based Relaxed Instance Queries in EL^++)
- Simple Default Reasoning in Theories of Action + (Simple Default Reasoning in Theories of Action)
- Simple restriction in context-free rewriting + (Simple restriction in context-free rewriting)
- SAT-Solving + (Simplification)
- Simulating Sets in Answer Set Programming + (Simulating Sets in Answer Set Programming)
- Simulating perfect channels with probabilistic lossy channels + (Simulating perfect channels with probabilistic lossy channels)
- Simulation for Continuous-Time Markov Chains + (Simulation for Continuous-Time Markov Chains)
- Situation Recognition for Service Management Systems Using OWL 2 Reasoners + (Situation Recognition for Service Management Systems Using OWL 2 Reasoners)
- Situations, Actions, and Causality in the Fluent Calculus + (Situations, Actions, and Causality in the Fluent Calculus)
- Seminar Rule-Based Paradigms in KR + (Slide Feedback and Consultation)
- Small is again Beautiful in Description Logics + (Small is again Beautiful in Description Logics)
- SmartWeb: Mobile Access to the Semantic Web + (SmartWeb: Mobile Access to the Semantic Web)
- SmartWeb: Mobile Access to the Semantic Web + (SmartWeb: Mobile Access to the Semantic Web)
