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

• Relating Description Complexity to Entropy  + (18:28:07, 13 March 2023)
• Algorithmic Game Theory  + (08:37:13, 17 March 2023)
• Introduction to Existential Rules  + (21:49:49, 19 March 2023)
• Seminar Logic-Based Knowledge Representation  + (09:53:31, 20 March 2023)
• Static Program Analysis in Datalog  + (11:21:31, 20 March 2023)
• Static Program Analysis in Datalog  + (11:21:31, 20 March 2023)
• Database Theory  + (14:44:25, 20 March 2023)
• Quotation in Formal Logics and the Web  + (12:55:22, 23 March 2023)
• Adventures in Computer Science -- Grades 1 & 2  + (21:14:14, 27 March 2023)
• Adventures in Computer Science -- Grades 1 & 2  + (21:14:14, 27 March 2023)
• Theorem Proving with LEAN  + (07:25:48, 3 April 2023)
• Raum APB E009  + (10:51:40, 3 April 2023)
• Room APB E009  + (10:51:40, 3 April 2023)
• International Center for Computational Logic  + (06:55:14, 4 April 2023)
• Datei:DBT2023-Lecture-01-overlay.pdf  + (07:04:39, 4 April 2023)
• Datei:DBT2023-Lecture-02-overlay.pdf  + (07:04:55, 4 April 2023)
• Datei:CONCUR23-01-Introduction.pdf  + (13:57:28, 4 April 2023)
• Datei:CONCUR23-02-bisimilarity.pdf  + (13:59:12, 4 April 2023)
• Datei:Dbt2023-exercise-01.pdf  + (15:10:19, 4 April 2023)
• Courses  + (19:45:55, 5 April 2023)
• Vorlage:Projektarbeit Listing  + (20:04:37, 5 April 2023)
• Datei:Dbt2023-exercise-01-slides.pdf  + (16:51:26, 11 April 2023)
• Datei:Dbt2023-exercise-02.pdf  + (16:51:44, 11 April 2023)
• Raum HSZ/0401  + (07:22:46, 13 April 2023)
• Room HSZ/0401  + (07:22:46, 13 April 2023)
• The Fourth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2022)  + (10:08:16, 13 April 2023)

• A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment  + (13:52:16, 13 April 2023)
• A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment  + (13:52:16, 13 April 2023)

• Rushing and Strolling among Answer Sets - Navigation Made Easy  + (14:28:00, 13 April 2023)
• Answer Set Navigation: Probleme Besser Verstehen  + (14:29:34, 13 April 2023)
• Scalable Understanding: Navigation Approaches for Answer Sets  + (14:30:51, 13 April 2023)
• Datei:AGT2023-01.pdf  + (09:48:13, 14 April 2023)
• Datei:LBKR-2023-intro.pdf  + (15:14:32, 15 April 2023)
• Datei:AGT P1.pdf  + (12:25:30, 17 April 2023)
• Datei:DBT2023-Lecture-03-overlay.pdf  + (07:11:25, 18 April 2023)
• Datei:DBT2023-Lecture-05-overlay.pdf  + (07:12:24, 18 April 2023)
• Datei:DBT2023-Lecture-04-overlay.pdf  + (08:59:00, 18 April 2023)
• Datei:Dbt2023-exercise-03.pdf  + (16:37:20, 18 April 2023)
• Datei:Dbt2023-exercise-02-slides.pdf  + (16:37:35, 18 April 2023)
• Theorem Proving with LEAN  + (08:27:24, 19 April 2023)
• Datei:Ex-propositional.zip  + (09:13:06, 19 April 2023)
• Datei:CONCUR23-E01-LEAN.pdf  + (06:48:00, 20 April 2023)
• Datei:ER-Rudolph-Lecture02.pdf  + (20:05:21, 21 April 2023)
• Datei:LBKR-2023-recap.pdf  + (11:41:25, 24 April 2023)
• Datei:AGT P2.pdf  + (16:35:48, 24 April 2023)
• Datei:AGT2023-02.pdf  + (07:26:36, 25 April 2023)
• Datei:AGT P2b.pdf  + (11:33:28, 25 April 2023)
• Datei:Dbt2023-exercise-03-slides.pdf  + (14:59:41, 25 April 2023)
• Datei:Dbt2023-exercise-04.pdf  + (14:59:57, 25 April 2023)
• Themenvorschläge für Studien- und Abschlussarbeiten  + (07:19:19, 26 April 2023)
• Suggested Thesis Topics  + (07:19:38, 26 April 2023)
• Answering Queries with Negation over Existential Rules  + (18:28:05, 27 April 2023)