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
- Attribut:Veranstaltungsart + (17:53:47, 4 November 2014)
- Thomas Hinze + (18:10:31, 4 November 2014)
- Mitch Harris + (18:11:54, 4 November 2014)
- Theofilos Mailis + (18:24:58, 4 November 2014)
- Datei:Rpn.jpg + (11:06:02, 5 November 2014)
- Visualisierung räumlich-zeitlicher Inhalte aus Wikidata + (13:21:27, 5 November 2014)
- Attribut:Rank + (13:00:33, 6 November 2014)
- Aktivitaet2008 + (13:07:38, 6 November 2014)
- Aktivitaet2011 + (13:16:29, 6 November 2014)
- Aktivitaet2012 + (13:18:34, 6 November 2014)
- Aktivitaet2000 + (13:22:32, 6 November 2014)
- Benutzer:Marcel Lippmann + (13:31:18, 6 November 2014)
- Datei:FLP-L1-Introduction.pdf + (14:31:59, 7 November 2014)
- Datei:FCP-L1-Introduction.pdf + (14:33:27, 7 November 2014)
- Datei:FCP2014-T1.pdf + (14:34:03, 7 November 2014)
- Datei:FCP-L2-CP in a Nutshell.pdf + (14:34:38, 7 November 2014)
- Datei:FCP2014-T2.pdf + (14:35:10, 7 November 2014)
- Foundations of Constraint Programming + (14:39:27, 7 November 2014)
- Datei:AA2014-Slides sem1.pdf + (14:46:41, 7 November 2014)
- Datei:AA2014-Slides sem2.pdf + (14:47:11, 7 November 2014)
- Seminar Abstract Argumentation + (14:50:08, 7 November 2014)
- Vorlage:Partner + (12:41:11, 10 November 2014)
- Attribut:Organisationsart + (12:57:07, 10 November 2014)
- Vorlage:Partner/en + (13:03:18, 10 November 2014)
- Current Research Projects + (13:20:34, 10 November 2014)
- Aktuelle Forschungsprojekte + (13:21:12, 10 November 2014)
- Abschlussarbeiten betreut durch [[Sebastian Rudolph]] + (13:34:22, 10 November 2014)
- Abschlussarbeiten betreut durch [[Sebastian Rudolph]] + (13:34:22, 10 November 2014)
- Abschlussarbeiten betreut durch [[Marcel Lippmann]] + (15:25:13, 10 November 2014)
- Abschlussarbeiten betreut durch [[Marcel Lippmann]] + (15:25:13, 10 November 2014)
- Description Logics (WS2014)/en + (08:33:02, 11 November 2014)
- Datei:Wikidata-RDF-ISWC-2014-slides.pdf + (09:36:44, 11 November 2014)
- Informatik für Biologen + (10:30:18, 11 November 2014)
- Informatik für Biologen + (10:39:29, 11 November 2014)
- Datei:FLP-L3.pdf + (12:42:22, 11 November 2014)
- Datei:FLP-L4.pdf + (12:42:44, 11 November 2014)
- Datei:FLP2014-T2.pdf + (12:43:00, 11 November 2014)
- Datei:FCP-L3-Complete Constraint Solvers.pdf + (12:50:55, 11 November 2014)
- Graph Structures for Knowledge Representation and Reasoning - Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers + (21:29:55, 11 November 2014)
- Past, Current and Future Trends in Description Logic + (21:07:38, 12 November 2014)
- Introduction to Formal Concept Analysis + (09:01:43, 13 November 2014)
- Datei:FCA2014-01.pdf + (09:03:33, 13 November 2014)
- Datei:FCA2014-T01.pdf + (09:06:02, 13 November 2014)
- Datei:FCA2014-T02.pdf + (09:09:28, 13 November 2014)
- Datei:FCA2014-T03.pdf + (09:10:22, 13 November 2014)
- Abschlussarbeiten betreut durch [[Sarah Alice Gaggl]] + (09:25:34, 13 November 2014)
- Abschlussarbeiten betreut durch [[Sarah Alice Gaggl]] + (09:25:34, 13 November 2014)
- Project Group Computational Logic + (12:43:36, 13 November 2014)
- Datei:AA2014-Slides sem3.pdf + (16:10:39, 13 November 2014)
- (Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ + (20:13:22, 14 November 2014)
- Datei:Strucidx-tkde.pdf + (20:47:48, 14 November 2014)
- Managing Structured and Semistructured RDF Data Using Structure Indexes + (20:49:12, 14 November 2014)