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