Search by property

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)