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
- 17. WLP - Workshop Logische Programmierung + (11. Dezember 2002, 09:00:00)
- Deep Inference and Symmetry in Classical Proofs + (2003)
- Linear Logic and Noncommutativity in the Calculus of Structures + (2003)
- Planen im Fluentkalkül mit binären Entscheidungsdiagrammen + (2005)
- ICCL Summer School 2005 + (2. Juli 2005, 00:00:00)
- Nondeterminism and Language Design in Deep Inference + (2006)
- ICCL Summer School 2006 + (24. Juni 2006, 00:00:00)
- Deep Inference Christmas Meeting 2007 + (19. Dezember 2007, 09:00:00)
- The 21st International Workshop on Description Logics 2008 + (13. Mai 2008, 10:00:00)
- ICCL Summer School 2008 + (24. August 2008, 00:00:00)
- 11th European Conference on Logics in Artificial Intelligence (JELIA-2008) + (28. September 2008, 16:00:00)
- 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) + (29. September 2008, 09:00:00)
- 22nd Workshop on (Constraint) Logic Programming 2008 + (30. September 2008, 10:00:00)
- Neural-Symbolic Integration + (2009)
- ICCL Summer School 2010 + (29. August 2010, 00:00:00)
- EMCL Student Workshop Summer 2010 + (9. September 2010, 09:30:00)
- Description Logic Rules + (11. September 2010)
- EPCL PhD Workshop 2012 + (11. Juli 2012, 10:00:00)
- A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation + (4. März 2013)
- EPCL PhD Workshop + (1. Juli 2013, 10:00:00)
- ICCL Summer School 2013 + (18. August 2013, 00:00:00)
- EPCL PhD Workshop 2014 + (14. April 2014, 10:00:00)
- Sommer der Logik: Dresdner Forscher feiern Erfolge beim größten Logikertreffen aller Zeiten + (28. Juli 2014)
- A Scalable Analysis Framework for Large-scale RDF Data + (7. August 2014)
- Learning Terminological Knowledge with High Confidence from Erroneous Data + (9. September 2014)
- Augmenting human cognition in collaborative knowledge collections + (17. Oktober 2014, 11:05:00)
- Neues Online-Portal des International Center for Computational Logic geht ans Netz + (25. Oktober 2014)
- Introducing a Semantic Web Portal for Everyone (in Logic) (at TU Dresden) + (27. Oktober 2014, 14:50:00)
- Logic for Database Systems Implementation + (3. November 2014, 14:50:00)
- Containment of Monadic Datalog + (4. November 2014, 13:30:00)
- Past, Current and Future Trends in Description Logic + (17. November 2014, 14:50:00)
- Two-Dimensional Description Logics of Context + (26. November 2014, 09:20:00)
- Explaining Answer Sets using Argumentation Theory + (28. November 2014, 15:00:00)
- Towards Next Generation Sequential and Parallel SAT Solvers + (1. Dezember 2014)
- News about Reasoning with Bit-Vectors + (1. Dezember 2014, 10:00:00)
- Visualisierung räumlich-zeitlicher Inhalte aus Wikidata + (4. Dezember 2014, 16:30:00)
- Visualization and navigation paradigms for triadic formal concept analysis + (8. Dezember 2014, 14:50:00)
- Relbacoess + (12. Januar 2015, 10:30:00)
- Graph Structure and Monadic Second-Order Logic + (19. Januar 2015, 14:50:00)
- Journal of Web Semantics erbittet Einreichungen zum Thema "Knowledge Graphs" + (24. Januar 2015)
- Querying Probabilistic Ontologies + (26. Januar 2015, 14:50:00)
- Webseite der ICCL Sommerschule 2015 über "Reasoning" ist online + (30. Januar 2015)
- Employing DL-Lite reasoners for fuzzy query answering: Take a FLite! + (30. Januar 2015, 15:30:00)
- Verifying Temporal Properties of Biological Systems + (2. Februar 2015, 14:50:00)
- Introducing the Gitlab installation on https://iccl-share.inf.tu-dresden.de + (9. Februar 2015, 14:50:00)
- 38. German Conference on Artificial Intelligence (KI2015) wird in Dresden stattfinden + (2. März 2015)
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) + (9. März 2015)
- Das Bewerbungsportal für das internationale MSc Program in Computational Logic öffnet am 1. April 2015. + (12. März 2015)