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
- 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)
- The online application portal for the "European Master's Program in Computational Logic" closed on 31.05. 2017. + (13:40:51, 12 March 2015)
- ICCL Researchers Score Seven Papers at IJCAI 2015 + (13:41:27, 12 March 2015)
- Das Bewerbungsportal für das internationale MSc Program in Computational Logic öffnet am 1. April 2015. + (13:47:54, 12 March 2015)
- The online application portal for the "International MSc Program in Computational Logic" opens on 1 April 2015. + (13:47:55, 12 March 2015)
- Datei:Peter.png + (09:51:30, 16 March 2015)
- Bertram Fronhöfer + (10:43:17, 16 March 2015)
- Publikationen von Bertram Fronhöfer + (10:43:18, 16 March 2015)
- Publications of Bertram Fronhöfer + (10:43:19, 16 March 2015)
- Abschlussarbeiten betreut durch [[Bertram Fronhöfer]] + (10:43:20, 16 March 2015)
- Abschlussarbeiten betreut durch [[Bertram Fronhöfer]] + (10:43:20, 16 March 2015)
- Taufiq Hidayat + (10:44:19, 16 March 2015)
- Taufiq Hidayat + (10:44:20, 16 March 2015)
- Publikationen von Taufiq Hidayat + (10:44:21, 16 March 2015)
- Publications of Taufiq Hidayat + (10:44:22, 16 March 2015)
- Abschlussarbeiten betreut durch [[Taufiq Hidayat]] + (10:44:23, 16 March 2015)
- Abschlussarbeiten betreut durch [[Taufiq Hidayat]] + (10:44:23, 16 March 2015)
- Bertram Fronhöfer + (10:46:38, 16 March 2015)
- Tobias Pietzsch + (10:47:03, 16 March 2015)
- Tobias Pietzsch + (10:47:04, 16 March 2015)
- Publikationen von Tobias Pietzsch + (10:47:05, 16 March 2015)
- Publications of Tobias Pietzsch + (10:47:05, 16 March 2015)
- Abschlussarbeiten betreut durch [[Tobias Pietzsch]] + (10:47:06, 16 March 2015)
- Abschlussarbeiten betreut durch [[Tobias Pietzsch]] + (10:47:07, 16 March 2015)
- Sebastian Bader + (10:47:47, 16 March 2015)
- Sebastian Bader + (10:47:48, 16 March 2015)
- Publikationen von Sebastian Bader + (10:47:49, 16 March 2015)