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
- Cyclic Proof Theory + (24. Oktober 2024, 11:00:00)
- Best Paper Award für Nemo + (5. November 2024)
- Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting + (14. November 2024, 11:00:00)
- Jonas Karge gewinnt Student Best Paper Award auf der PRIMA24 + (20. November 2024)
- Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic + (21. November 2024, 11:00:00)
- The RustBelt and its Separation Logic + (28. November 2024, 11:00:00)
- Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium + (5. Dezember 2024, 11:00:00)
- Tree Automata with Global and Non-Global Counting + (12. Dezember 2024, 11:00:00)
- GPTKB: Comprehensively Materializing Factual LLM Knowledge + (16. Januar 2025, 11:00:00)
- ICCL Forschende tragen zur Lean-Standardbibliothek bei + (20. Januar 2025)
- Description Logic with Abstraction and Refinement + (6. Februar 2025, 11:00:00)
- Formalizing Possibly Infinite Trees of Bounded Degree + (6. März 2025, 11:00:00)
