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
- 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)
- Publications of Sebastian Bader + (10:47:50, 16 March 2015)
- Abschlussarbeiten betreut durch [[Sebastian Bader]] + (10:47:51, 16 March 2015)
- Abschlussarbeiten betreut durch [[Sebastian Bader]] + (10:47:51, 16 March 2015)
- Paola Bruscoli + (10:48:15, 16 March 2015)
- Paola Bruscoli + (10:48:16, 16 March 2015)
- Publikationen von Paola Bruscoli + (10:48:16, 16 March 2015)
- Publications of Paola Bruscoli + (10:48:17, 16 March 2015)
- Abschlussarbeiten betreut durch [[Paola Bruscoli]] + (10:48:19, 16 March 2015)
- Abschlussarbeiten betreut durch [[Paola Bruscoli]] + (10:48:19, 16 March 2015)
- Horst Graupner + (10:48:41, 16 March 2015)
- Horst Graupner + (10:48:41, 16 March 2015)
- Publikationen von Horst Graupner + (10:48:42, 16 March 2015)