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
- Notation3 Logic: From informal to formal semantics + (30. Juli 2020, 13:00:00)
- Smoke Test Planning using Answer Set Programming + (10. September 2020, 13:00:00)
- KI Nachwuchsgruppe für Sarah Gaggl + (18. September 2020)
- Weighted Automata with Storage + (29. September 2020)
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules + (8. Oktober 2020, 13:00:00)
- Inconsistency Values for Logic Programs under Answer Set Semantics + (22. Oktober 2020, 13:00:00)
- Forgetting Atoms and Arguments + (27. Oktober 2020, 11:15:00)
- Multi-Context Stream Reasoning + (29. Oktober 2020, 13:00:00)
- Elisa Böhl wechselt zum NAVAS-Projekt + (1. November 2020)
- Positivity-Hardness and Saturation Points in Markov Decision Processes + (5. November 2020, 13:00:00)
- Neuer Mitarbeiter: Jonas Karge + (16. Dezember 2020)
- Neuer Mitarbeiter: Tim Lyon + (17. Dezember 2020)
- Integration and Evaluation of an ASP-Solver as an Alternative Reasoning Backend in the Rulewerk Toolkit + (17. Dezember 2020, 13:00:00)
- Neuer Mitarbeiter: Stefan Ellmauthaler + (7. Januar 2021)
- Happy World Logic Day 2021! + (14. Januar 2021)
- Neuer Mitarbeiter: Dominik Rusovac + (22. Januar 2021)
- Codifying Logical Fragments in ASP - A General Knowledge Base Approach + (4. Februar 2021, 13:00:00)
- Knowledge Graphs for AI: Wikidata and Beyond + (11. Februar 2021, 13:00:00)
- Solving Datalog(S) Problems with Lazy-Grounding ASP Solving + (4. März 2021, 13:00:00)
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies + (18. März 2021, 13:00:00)
- "Most of" leads to undecidability: Failure of adding frequencies to LTL + (25. März 2021, 13:00:00)
- Using Datalog to Ground ASP Programs + (1. April 2021, 13:00:00)
- ICCL mit gleich vier Papieren bei LICS 2021 vertreten + (3. April 2021)
- Detecting Non-Existence of Finite Universal Models for Existential Rules + (8. April 2021, 13:00:00)
- An Introduction to Proof Theory I: Sequent Calculus + (15. April 2021, 13:00:00)
- A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics + (22. April 2021, 13:00:00)
- From Data to Knowledge: Extending Database Techniques for Knowledge Graphs + (29. April 2021, 14:30:00)
- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment + (6. Mai 2021, 13:00:00)
- Bartosz Bednarczyk gewinnt den Best Student Paper Award der JELIA 2021 + (17. Mai 2021)
- An importance value for temporal logics + (20. Mai 2021, 13:00:00)
- Enterprise Management in the Presence of Data + (27. Mai 2021, 13:00:00)
- Finite Model Theory of the Triguarded Fragment and Related Logics + (17. Juni 2021, 13:00:00)
- Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains + (24. Juni 2021, 13:00:00)
- Fluted Logic with Counting + (8. Juli 2021, 13:00:00)
- Optimizing the Execution Order of Datalog Rules in VLog + (15. Juli 2021, 13:00:00)
- Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning + (22. Juli 2021, 13:00:00)
- Refining Labelled Systems for Modal and Constructive Logics with Applications + (29. Juli 2021)
- Challenges of Using Leapfrog Triejoin for Datalog Programs + (29. Juli 2021, 13:00:00)
- In the Hand of the Beholder: Comparing Interactive Proof Visualizations + (12. August 2021, 13:00:00)
- Standpoint Logic: Multi-Perspective Knowledge Representation + (9. September 2021, 13:00:00)
- Chase-Based Computation of Cores for Existential Rules + (16. September 2021, 13:00:00)
- Exploiting Treewidth for Counting in Abstract Argumentation + (23. September 2021, 13:00:00)
- An overview of Datalog boundedness + (7. Oktober 2021, 13:00:00)
- Neuer Mitarbeiter: Lukas Gerlach + (13. Oktober 2021)
- Neuer Mitarbeiter: Piotr Ostropolski-Nalewaja + (18. Oktober 2021)
- Ongoing Research in the NAVAS Project + (21. Oktober 2021, 11:00:00)
- Indexing for Datalog Materialisation with Leapfrog Triejoin + (28. Oktober 2021, 11:00:00)
- ICCL-Forscher erhalten Best Paper Award auf internationaler Top-Konferenz für symbolische KI + (3. November 2021)
- Admissibility in Probabilistic Argumentation + (4. November 2021, 11:00:00)
- Markus Krötzsch erhält Digital-Lehrpreis der Fachschaft Informatik + (12. November 2021)
- Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation + (18. November 2021, 11:00:00)
