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

• Room APB 3035  + (23:36:53, 19 March 2019)
• Vorlage:Navigation Forschungsgruppen  + (23:38:14, 19 March 2019)
• Vorlage:DFG-Antrag/PartnerTemplate  + (23:38:35, 19 March 2019)
• Vorlage:Publikationen2  + (23:39:00, 19 March 2019)
• Vorlage:Publikationen/en  + (23:39:16, 19 March 2019)
• Vorlage:Abschlussarbeit/en  + (23:41:10, 19 March 2019)
• Vorlage:Veranstaltung/en  + (23:41:37, 19 March 2019)
• Vorlage:Projekt/en  + (23:41:55, 19 March 2019)
• Vorlage:Page about Forschungsgebiete  + (23:42:09, 19 March 2019)
• Temporal Logics with Probabilistic Distributions  + (16:36:23, 21 March 2019)
• Temporal Logics with Probabilistic Distributions  + (16:38:23, 21 March 2019)
• Academic Skills in Computer Science  + (17:25:44, 21 March 2019)
• Vorlage:Publikation Details Form  + (19:12:11, 21 March 2019)
• Datei:HMS19-discovering-wikidata-tr.pdf  + (19:18:10, 21 March 2019)
• Discovering Implicational Knowledge in Wikidata  + (19:19:25, 21 March 2019)
• Datei:HMS19-discovering-wikidata.pdf  + (19:26:08, 21 March 2019)
• Datei:Chlewe-2019.jpg  + (20:22:23, 21 March 2019)
• TE-ETH: Lower Bounds for QBFs of Bounded Treewidth  + (10:37:57, 25 March 2019)
• Data Science Use Cases for Lifestyle Banking  + (13:33:10, 25 March 2019)
• Datei:Terminating-Chase-Power-ICDT2019.pdf  + (16:30:19, 26 March 2019)
• Datei:Terminating-Chase-Power-ICDT2019-Invited-Talk-slides.pdf  + (16:36:22, 26 March 2019)
• The Power of the Terminating Chase  + (16:54:07, 26 March 2019)
• The Power of the Terminating Chase  + (14:35:10, 27 March 2019)
• The Power of the Terminating Chase  + (14:35:11, 27 March 2019)
• Making sense of conflicting defeasible rules in the controlled natural language ACE: design of a system with support for existential quantification using skolemization  + (10:49:01, 28 March 2019)

• Making sense of conflicting defeasible rules in the controlled natural language ACE: design of a system with support for existential quantification using skolemization  + (12:04:28, 28 March 2019)

• SAT-Solving  + (14:18:25, 29 March 2019)
• Knowledge Representation and Reasoning Seminar  + (16:01:17, 29 March 2019)
• Database Theory  + (09:12:45, 1 April 2019)
• Seminar Selected Topics on Existential Rules  + (11:20:58, 1 April 2019)
• Raum APB E001  + (11:24:32, 1 April 2019)
• Room APB E001  + (11:24:33, 1 April 2019)
• Datei:SAT2019 01 Introduction2019.pdf  + (13:56:34, 1 April 2019)
• Beyond NP Revolution  + (14:36:45, 1 April 2019)
• Datei:2019-aaai-hsriq-to-datalog.pdf  + (15:32:26, 1 April 2019)
• Deduction Systems  + (09:11:55, 2 April 2019)
• Datei:TUD SAT2019 Exercise 1.pdf  + (10:12:54, 2 April 2019)
• Datei:ASiCS2019-Lecture-01-overlay.pdf  + (12:29:56, 2 April 2019)
• Datei:ASiCS2019-Lecture-01-print.pdf  + (12:30:47, 2 April 2019)
• Preface: Concept Lattices and Applications: Recent Advances and New Opportunities  + (13:46:02, 3 April 2019)
• Datei:The Triguarded Fragment of First-Order Logic.pdf  + (14:12:46, 3 April 2019)
• The Triguarded Fragment of First-Order Logic  + (14:13:12, 3 April 2019)
• The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events  + (17:11:37, 3 April 2019)
• Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017  + (17:14:02, 3 April 2019)
• Proceedings of the 6th International Workshop "What can FCA do for Artificial Intelligence?"  + (17:16:15, 3 April 2019)
• Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies  + (06:33:34, 4 April 2019)
• Foundations for Maschine Learning (SS2019)/en  + (10:42:36, 4 April 2019)
• Beyond NP Revolution  + (13:12:14, 4 April 2019)
• Third Workshop on Human Reasoning and Computational Logic  + (08:13:22, 5 April 2019)
• Attribut:Sekretariat Mail  + (11:34:26, 5 April 2019)
• Benutzer:Bartosz Bednarczyk  + (21:33:35, 7 April 2019)