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

• 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)