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:Dbt2023-exercise-08.pdf + (14:22:48, 23 May 2023)
- Datei:2023-tocl.pdf + (08:46:05, 25 May 2023)
- On Composing Finite Forests with Modal Logics + (08:46:07, 25 May 2023)
- Datei:Feller Thomas ICDT23 talk.pdf + (21:27:07, 27 May 2023)
- Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying + (21:27:11, 27 May 2023)
- Datei:DL-2022-MiftakhulRudolph.pdf + (21:44:53, 27 May 2023)
- AGM Revision in Description Logics under Fixed-Domain Semantics + (21:44:59, 27 May 2023)
- Datei:GSOicalp.pdf + (21:58:45, 27 May 2023)
- Datalog-Expressibility for Monadic and Guarded Second-Order Logic + (21:58:49, 27 May 2023)
- Datei:LICS-TGF-FMP.pdf + (22:04:43, 27 May 2023)
- Finite Model Theory of the Triguarded Fragment and Related Logics + (22:04:52, 27 May 2023)
- Datei:ICFCA-2021-statistical-diagrams.pdf + (22:08:51, 27 May 2023)
- Visualization of Statistical Information in Concept Lattice Diagrams + (22:08:55, 27 May 2023)
- Datei:LICS 2021 homclosure.pdf + (22:14:56, 27 May 2023)
- On Logics and Homomorphism Closure + (22:15:00, 27 May 2023)
- A Data-Driven Graph Schema + (23:05:09, 28 May 2023)
- Datei:RuleML+RR Slides.pdf + (13:10:02, 29 May 2023)
- Semantic Characterizations of AGM Revision for Tarskian Logics + (13:10:09, 29 May 2023)
- Database-Inspired Reasoning Problems in Description Logics With Path Expressions + (14:31:05, 29 May 2023)
- Datei:AGT Problems5.pdf + (12:26:43, 30 May 2023)
- Datei:Amw2023-efficient-dependency-analysis-for-existential-rules.pdf + (15:32:00, 31 May 2023)
- Datei:KR Talk.pdf + (08:39:13, 1 June 2023)
- Datei:ER-Rudolph-Lecture06.pdf + (11:08:09, 3 June 2023)
- Datei:DBT2023-Lecture-12-overlay.pdf + (09:46:11, 5 June 2023)
- Sergei Obiedkov/en + (09:54:27, 5 June 2023)
- Publikationen von Sergei Obiedkov + (09:54:27, 5 June 2023)
- Abschlussarbeiten betreut durch [[Sergei Obiedkov]] + (09:54:28, 5 June 2023)
- Abschlussarbeiten betreut durch [[Sergei Obiedkov]] + (09:54:28, 5 June 2023)
- Publications of Sergei Obiedkov + (09:54:28, 5 June 2023)
- Querying Wikidata with GraphQL + (11:29:40, 5 June 2023)
- Querying Wikidata with GraphQL + (11:29:41, 5 June 2023)
- Datei:Game Theory Exercises 6.pdf + (13:47:58, 5 June 2023)
- Datei:Ijcai23-paper.pdf + (16:18:49, 5 June 2023)
- Datei:CONCUR23-06-CCS.pdf + (06:36:05, 6 June 2023)
- Seminar Logic-Based Knowledge Representation + (08:28:11, 6 June 2023)
- Datei:Dbt2023-exercise-08-slides.pdf + (16:45:40, 6 June 2023)
- Datei:Dbt2023-exercise-09.pdf + (16:46:04, 6 June 2023)
- Complexity Theory + (07:57:26, 7 June 2023)
- Datei:CONCUR23-08-Testing.pdf + (08:54:03, 7 June 2023)
- Datei:CONCUR23-07-Internals.pdf + (08:54:25, 7 June 2023)
- Benutzer:Sergei Obiedkov + (11:57:41, 8 June 2023)
- Datei:CJTKRTALK.pdf + (07:55:19, 9 June 2023)
- Datei:Dl Talk Karge.pdf + (20:11:26, 9 June 2023)
- Uniform and Modular Sequent Systems for Description Logics + (20:11:31, 9 June 2023)
- Datei:Logic of actions and expectations (31).pdf + (05:31:14, 13 June 2023)
- Datei:KRshort.pdf + (05:33:57, 13 June 2023)
- Matteo Pascucci/en + (05:34:39, 13 June 2023)
- Publikationen von Matteo Pascucci + (05:34:39, 13 June 2023)
- Publications of Matteo Pascucci + (05:34:39, 13 June 2023)
- Abschlussarbeiten betreut durch [[Matteo Pascucci]] + (05:34:39, 13 June 2023)
- Abschlussarbeiten betreut durch [[Matteo Pascucci]] + (05:34:39, 13 June 2023)
- Datei:AGT Problems7.pdf + (08:32:09, 13 June 2023)
- Deontic Explanations via Logical Argumentation. + (10:00:51, 13 June 2023)
