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
- Vorlage:Grouped thesis list + (10:58:40, 24 January 2015)
- Journal of Web Semantics calls for papers on "Knowledge Graphs" + (17:33:31, 24 January 2015)
- Employing DL-Lite reasoners for fuzzy query answering: Take a FLite! + (17:59:13, 24 January 2015)
- Verifying Temporal Properties of Biological Systems + (12:11:53, 26 January 2015)
- Datei:FCP2014-T7.pdf + (09:16:11, 29 January 2015)
- Datei:FLP2014-T6.pdf + (09:36:06, 29 January 2015)
- Wikidata + (16:40:09, 29 January 2015)
- Datei:Wikidata-logo-en.svg + (16:43:21, 29 January 2015)
- ICCL Summer School 2015 + (10:58:36, 30 January 2015)
- Webpage of ICCL Summer School 2015 on Reasoning online now + (11:59:16, 30 January 2015)
- Employing DL-Lite reasoners for fuzzy query answering: Take a FLite! + (14:31:19, 30 January 2015)
- Vorlage:Phdthesis + (16:30:48, 30 January 2015)
- Datei:ExaminationPlan-2.pdf + (07:36:01, 2 February 2015)
- Science of Computational Logic + (09:02:07, 4 February 2015)
- SearchHaus + (21:07:57, 5 February 2015)
- Datei:SerachHaus-logo.png + (21:10:57, 5 February 2015)
- Datei:Kiwv-group-picture.jpg + (07:14:45, 9 February 2015)
- Introducing the Gitlab installation on https://iccl-share.inf.tu-dresden.de/en + (08:43:02, 9 February 2015)
- Aktivitaet2013 + (10:42:06, 9 February 2015)
- Aktivitaet2022 + (10:43:24, 9 February 2015)
- Aktivitaet2010 + (10:44:43, 9 February 2015)
- Aktivitaet2021 + (10:45:26, 9 February 2015)
- Datei:DvoakGLW15.pdf + (08:41:46, 12 February 2015)
- Datei:GagglRT15.pdf + (08:48:15, 12 February 2015)
- JWS special issue on Knowledge Graphs/en + (15:24:20, 18 February 2015)
- SAT-Solving + (07:49:54, 19 February 2015)
- Abschlussarbeiten betreut durch [[Norbert Manthey]] + (08:35:28, 19 February 2015)
- Abschlussarbeiten betreut durch [[Norbert Manthey]] + (08:35:28, 19 February 2015)
- Knowledge Representation and Reasoning Seminar + (21:35:13, 26 February 2015)
- Datei:Faculty-Computerscience.jpg + (17:42:32, 28 February 2015)
- 38th German Conference on Artificial Intelligence + (12:55:10, 2 March 2015)
- 38th German Conference on Artificial Intelligence (KI2015) to happen in Dresden + (12:58:58, 2 March 2015)
- Solving school time tables with SAT + (13:08:32, 2 March 2015)
- Big Data in SAT Solving - Learn Heuristics from Proofs + (13:37:49, 2 March 2015)
- Solving Mixed Linear Programs with Pseudo Boolean Solvers + (13:41:47, 2 March 2015)
- Simplifying Pseudo Boolean Problems + (13:46:23, 2 March 2015)
- Aktivitaet2019 + (08:19:19, 3 March 2015)
- Relating Search Abstractions to Actual Search + (08:26:08, 3 March 2015)
- Implementing a Labeling-based Algorithm for the cf2 Argumentation Semantics + (13:42:33, 3 March 2015)
- Implementing the Decomposition Schema for Abstract Dialectical Frameworks + (13:47:27, 3 March 2015)
- Visualization of Solutions in Abstract Argumentation Frameworks + (14:05:39, 3 March 2015)
- Project Group Computational Logic + (14:10:31, 3 March 2015)
- Aktivitaet2025 + (20:25:43, 3 March 2015)
- Aktivitaet2028 + (20:33:48, 3 March 2015)
- Benutzer:Emma Dietz + (10:53:00, 9 March 2015)
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) + (12:09:51, 9 March 2015)
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) + (12:09:51, 9 March 2015)
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) + (12:14:26, 9 March 2015)
- Datei:Chw.png + (17:44:39, 11 March 2015)
- Problem Solving and Search in Artificial Intelligence + (09:29:52, 12 March 2015)
- Datei:Sylvia.jpg + (11:02:45, 12 March 2015)
