Search by property
From International Center for Computational Logic
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
- 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)