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