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
- Concurrency Theory + (11:10:00, 26 April 2023)
- Advanced Problem Solving and Search + (07:30:00, 28 April 2023)
- SEMECO-Q2 + (May 1, 2023)
- SEMECO-Q1 + (May 1, 2023)
- Algorithmic Game Theory + (07:30:00, 1 May 2023)
- Database Theory + (09:20:00, 1 May 2023)
- Introduction to Existential Rules + (09:20:00, 1 May 2023)
- Seminar Logic-Based Knowledge Representation + (14:50:00, 1 May 2023)
- Quotation in Formal Logics and the Web + (09:20:00, 2 May 2023)
- Database Theory + (09:20:00, 2 May 2023)
- Concurrency Theory + (13:00:00, 2 May 2023)
- Database Theory + (14:50:00, 2 May 2023)
- Quotation in Formal Logics and the Web + (11:10:00, 3 May 2023)
- Concurrency Theory + (11:10:00, 3 May 2023)
- Can AI explanations skew our causal intuitions about the world? If so, can we correct for that? + (11:00:00, 4 May 2023)
- Advanced Problem Solving and Search + (07:30:00, 8 May 2023)
- Algorithmic Game Theory + (07:30:00, 8 May 2023)
- Advanced Problem Solving and Search + (09:20:00, 8 May 2023)
- Introduction to Existential Rules + (09:20:00, 8 May 2023)
- Database Theory + (09:20:00, 8 May 2023)
- Seminar Logic-Based Knowledge Representation + (14:50:00, 8 May 2023)
- Algorithmic Game Theory + (16:40:00, 8 May 2023)
- Quotation in Formal Logics and the Web + (09:20:00, 9 May 2023)
- Database Theory + (09:20:00, 9 May 2023)
- Concurrency Theory + (13:00:00, 9 May 2023)
- Database Theory + (14:50:00, 9 May 2023)
- Concurrency Theory + (11:10:00, 10 May 2023)
- Quotation in Formal Logics and the Web + (11:10:00, 10 May 2023)
- Advanced Problem Solving and Search + (07:30:00, 12 May 2023)
- Discrete Linear Dynamical Systems: The Introduction. + (11:00:00, 12 May 2023)
- Advanced Problem Solving and Search + (07:30:00, 15 May 2023)
- Advanced Problem Solving and Search + (09:20:00, 15 May 2023)
- Introduction to Existential Rules + (09:20:00, 15 May 2023)
- Database Theory + (09:20:00, 15 May 2023)
- Algorithmic Game Theory + (11:10:00, 15 May 2023)
- Seminar Logic-Based Knowledge Representation + (14:50:00, 15 May 2023)
- Algorithmic Game Theory + (16:40:00, 15 May 2023)
- Quotation in Formal Logics and the Web + (09:20:00, 16 May 2023)
- Database Theory + (09:20:00, 16 May 2023)
- Concurrency Theory + (13:00:00, 16 May 2023)
- Database Theory + (14:50:00, 16 May 2023)
- Quotation in Formal Logics and the Web + (11:10:00, 17 May 2023)
- Concurrency Theory + (11:10:00, 17 May 2023)
- Advanced Problem Solving and Search + (09:20:00, 22 May 2023)
- Database Theory + (09:20:00, 22 May 2023)
- Introduction to Existential Rules + (09:20:00, 22 May 2023)
- Algorithmic Game Theory + (11:10:00, 22 May 2023)
- Seminar Logic-Based Knowledge Representation + (14:50:00, 22 May 2023)
- Algorithmic Game Theory + (16:40:00, 22 May 2023)
- Quotation in Formal Logics and the Web + (09:20:00, 23 May 2023)
- Database Theory + (09:20:00, 23 May 2023)
- Concurrency Theory + (13:00:00, 23 May 2023)