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
- Datei:DBT2016-Lecture-06-nup.pdf + (12:44:42, 27 May 2016)
- Datei:DBT2016-Lecture-07.pdf + (12:45:53, 27 May 2016)
- Datei:DBT2016-Lecture-07-nup.pdf + (12:46:08, 27 May 2016)
- Datei:Stellenausschreibung DIAMOND 05-2016 de official final version.pdf + (14:14:30, 27 May 2016)
- Doctoral or postdoctoral researcher (f/m) + (14:14:37, 27 May 2016)
- Stellenausschreibung2 + (14:30:04, 27 May 2016)
- Student assistant (f/m) for online data processing and visualisation in JavaScript + (14:58:53, 27 May 2016)
- Stellenausschreibung3 + (15:23:31, 27 May 2016)
- Datei:FSWT-2016-T5-Tableau.pdf + (20:29:18, 27 May 2016)
- Datei:PSSAI2016-T3.pdf + (07:26:55, 28 May 2016)
- Datei:PSSAI2016 L6-7.pdf + (07:28:21, 28 May 2016)
- Datei:DL16-Axiom-Pinpointing.pdf + (20:06:40, 28 May 2016)
- Efficient Axiom Pinpointing in EL using SAT Technology + (20:07:32, 28 May 2016)
- Datei:DL16-curse-of-finiteness.pdf + (20:13:07, 28 May 2016)
- The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics + (20:13:21, 28 May 2016)
- Characterization of the Expressivity of Existential Rule Queries + (20:17:13, 28 May 2016)
- Datei:KR16-Rudolph.pdf + (20:25:23, 28 May 2016)
- Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics + (20:25:43, 28 May 2016)
- Datei:CeylanDL2016.pdf + (14:13:21, 29 May 2016)
- Datei:DL2016.pdf + (14:24:11, 29 May 2016)
- Dynamic Bayesian Description Logics + (14:25:17, 29 May 2016)
- Query Answering in Bayesian Description Logics + (14:26:51, 29 May 2016)
- Answering EL Queries in the Presence of Preferences + (14:27:43, 29 May 2016)
- Bayesian Description Logics + (14:28:30, 29 May 2016)
- Awards in 2006 + (14:37:13, 31 May 2016)
- Awards in 2006 + (14:37:50, 31 May 2016)
- Awards in 2007 + (14:39:32, 31 May 2016)
- Awards in 2008 + (14:39:51, 31 May 2016)
- Awards in 2009 + (14:40:07, 31 May 2016)
- Awards in 2010 + (14:40:22, 31 May 2016)
- Awards in 2011 + (14:40:40, 31 May 2016)
- Awards in 2012 + (14:40:51, 31 May 2016)
- Awards in 2013 + (14:41:06, 31 May 2016)
- Awards in 2014 + (14:41:20, 31 May 2016)
- Awards in 2007 + (14:45:49, 31 May 2016)
- Awards in 2008 + (14:46:07, 31 May 2016)
- Awards in 2009 + (14:46:22, 31 May 2016)
- Awards in 2010 + (14:46:36, 31 May 2016)
- Awards in 2011 + (14:46:48, 31 May 2016)
- Awards in 2012 + (14:47:02, 31 May 2016)
- Awards in 2013 + (14:47:15, 31 May 2016)
- Awards in 2014 + (14:47:27, 31 May 2016)
- Constraint Propagation and Pebble Games + (13:28:40, 2 June 2016)
- Constraint Propagation and Pebble Games + (13:49:54, 2 June 2016)
- Datei:DBT2016-Lecture-08.pdf + (14:35:17, 2 June 2016)
- Datei:DBT2016-Lecture-08-nup.pdf + (14:35:31, 2 June 2016)
- Datei:IAS2016-exercise05.pdf + (15:52:08, 2 June 2016)
- Internals + (20:10:54, 2 June 2016)
- HUGS - A Lightweight Graph Partitioning Approach + (06:37:20, 3 June 2016)
- HUGS – A Lightweight Graph Partitioning Approach + (06:45:45, 3 June 2016)
- Datei:PSSAI2016 L8.pdf + (09:12:08, 3 June 2016)
