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
- Introduction to Formal Concept Analysis + (09:20:00, 21 January 2019)
- Introduction to Formal Concept Analysis + (11:10:00, 21 January 2019)
- Foundations of Logic Programming + (14:50:00, 21 January 2019)
- Foundations of Constraint Programming + (16:40:00, 21 January 2019)
- Complexity Theory + (09:20:00, 22 January 2019)
- Knowledge Graphs + (11:10:00, 22 January 2019)
- Knowledge Graphs + (14:50:00, 22 January 2019)
- Learning Ontologies with Epistemic Reasoning: The EL Case + (09:30:00, 23 January 2019)
- Complexity Theory + (11:10:00, 23 January 2019)
- Foundations of Logic Programming + (11:10:00, 24 January 2019)
- Semantic Computing + (07:30:00, 25 January 2019)
- Introduction to Formal Concept Analysis + (09:20:00, 28 January 2019)
- Introduction to Formal Concept Analysis + (11:10:00, 28 January 2019)
- Foundations of Logic Programming + (14:50:00, 28 January 2019)
- Foundations of Constraint Programming + (16:40:00, 28 January 2019)
- Complexity Theory + (09:20:00, 29 January 2019)
- Knowledge Graphs + (11:10:00, 29 January 2019)
- Knowledge Graphs + (14:50:00, 29 January 2019)
- Foundations of Logic Programming + (11:10:00, 31 January 2019)
- Knowledge Graph Embedding + (13:00:00, 7 February 2019)
- Temporal Logics with Probabilistic Distributions + (13:00:00, 28 March 2019)
- Database Theory + (09:20:00, 2 April 2019)
- Academic Skills in Computer Science + (11:10:00, 2 April 2019)
- Seminar Selected Topics on Existential Rules + (14:50:00, 2 April 2019)
- Third Workshop on Human Reasoning and Computational Logic + (09:00:00, 4 April 2019)
- Making sense of conflicting defeasible rules in the controlled natural language ACE: design of a system with support for existential quantification using skolemization + (13:00:00, 4 April 2019)
- Problem Solving and Search in Artificial Intelligence + (11:10:00, 8 April 2019)
- Deduction Systems + (14:50:00, 8 April 2019)
- Seminar: Logical Modelling + (16:40:00, 8 April 2019)
- Database Theory + (09:20:00, 9 April 2019)
- Academic Skills in Computer Science + (11:10:00, 9 April 2019)
- Beyond NP Revolution + (13:30:00, 9 April 2019)
- Academic Skills in Computer Science + (14:50:00, 9 April 2019)
- Seminar Selected Topics on Existential Rules + (14:50:00, 9 April 2019)
- Database Theory + (11:10:00, 10 April 2019)
- The Power of the Terminating Chase + (13:00:00, 11 April 2019)
- Database Theory + (14:50:00, 12 April 2019)
- Problem Solving and Search in Artificial Intelligence + (09:20:00, 15 April 2019)
- Problem Solving and Search in Artificial Intelligence + (11:10:00, 15 April 2019)
- Deduction Systems + (14:50:00, 15 April 2019)
- Seminar: Logical Modelling + (16:40:00, 15 April 2019)
- Database Theory + (09:20:00, 16 April 2019)
- Academic Skills in Computer Science + (11:10:00, 16 April 2019)
- Academic Skills in Computer Science + (14:50:00, 16 April 2019)
- Database Theory + (11:10:00, 17 April 2019)
- Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies + (13:00:00, 18 April 2019)
- Database Theory + (09:20:00, 23 April 2019)
- Academic Skills in Computer Science + (11:10:00, 23 April 2019)
- Academic Skills in Computer Science + (14:50:00, 23 April 2019)
- Database Theory + (11:10:00, 24 April 2019)
- Data Science Use Cases for Lifestyle Banking + (13:00:00, 25 April 2019)