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:Quantla-logo-png.png + (20:00:42, 21 February 2021)
- Datei:Algebra-transparent.png + (22:07:23, 21 February 2021)
- HAEC B08 + (22:40:11, 21 February 2021)
- HAEC B02 + (22:40:33, 21 February 2021)
- Vorlage:Forschungsgruppenliste + (22:48:38, 21 February 2021)
- Vorlage:Inproceedings + (23:14:30, 21 February 2021)
- PSAT + (06:59:16, 22 February 2021)
- SOA-VBQP + (06:59:47, 22 February 2021)
- GoAsQ + (07:00:44, 22 February 2021)
- Datei:Lucia400x600.jpg + (16:02:47, 22 February 2021)
- Datei:NAVAS-logo.png + (08:17:00, 23 February 2021)
- Solving Datalog(S) Problems with Lazy-Grounding ASP Solving + (08:51:48, 23 February 2021)
- Using Datalog to Ground ASP Programs + (08:52:15, 23 February 2021)
- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment + (08:52:57, 23 February 2021)
- conexp-clj + (09:32:22, 23 February 2021)
- HAEC + (09:50:25, 23 February 2021)
- Algebra und Diskrete Strukturen + (20:36:56, 23 February 2021)
- An Introduction to Proof Theory I: Sequent Calculus + (09:05:33, 24 February 2021)
- Vorlage:Image line small + (11:02:25, 24 February 2021)
- Vorlage:Image line smaller + (11:02:36, 24 February 2021)
- Andreas Ecke + (21:44:25, 24 February 2021)
- Walter Forkel + (21:45:11, 24 February 2021)
- Pavlos Marantidis + (21:46:42, 24 February 2021)
- Maximilian Pensel + (21:49:21, 24 February 2021)
- Benjamin Zarrieß + (21:51:49, 24 February 2021)
- Datei:FS20-musterklausur.pdf + (11:16:42, 25 February 2021)
- Datei:FS20-musterklausur-slides.pdf + (11:17:02, 25 February 2021)
- Vorlage:Person list + (10:29:50, 26 February 2021)
- Investigating the Dimensions of Spatial Language + (10:48:46, 26 February 2021)
- Vorlage:GroupedPersonList + (11:04:26, 26 February 2021)
- Datei:BBR-ECAI2020-extended.pdf + (11:31:39, 27 February 2021)
- Datei:BBR-DL-2019.pdf + (13:08:27, 27 February 2021)
- Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints + (13:10:11, 27 February 2021)
- Datalog-Expressibility for Monadic and Guarded Second-Order Logic + (14:21:49, 27 February 2021)
- Vorlage:Publication data + (14:50:40, 27 February 2021)
- Vorlage:Image line medium + (16:56:59, 27 February 2021)
- Datei:Shima6.jpg + (22:15:46, 27 February 2021)
- Shima Asaadi + (22:15:50, 27 February 2021)
- Erklärung zur Barrierefreiheit + (22:44:41, 27 February 2021)
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies + (09:18:08, 1 March 2021)
- Detecting Non-Existence of Finite Universal Models for Existential Rules + (09:21:06, 1 March 2021)
- Datei:BBE-CSL17.pdf + (12:40:21, 4 March 2021)
- Datei:BBE-FSTTCS17.pdf + (12:42:20, 4 March 2021)
- Datei:DL19-BBE-SRU.pdf + (12:43:06, 4 March 2021)
- Datei:BBE-JELIA19.pdf + (12:43:50, 4 March 2021)
- Datei:BBE-IJCAI19.pdf + (12:44:29, 4 March 2021)
- Datei:BBE-LICS19.pdf + (12:45:04, 4 March 2021)
- Datei:BBE-LICS20.pdf + (12:45:54, 4 March 2021)
- Datei:BBE-IJCAI20-Sep.pdf + (12:46:37, 4 March 2021)
- Datei:BBE-IJCAI20-Chases.pdf + (12:47:28, 4 March 2021)
- Datei:BBE-TIME-20.pdf + (12:48:10, 4 March 2021)
