Suchergebnisse
Aus International Center for Computational Logic
- {{Main heading|News and Events}} ===Recent News===736 Bytes (85 Wörter) - 01:06, 20. Mär. 2019
- |Titel EN=Automata, Logic, Algebra... What do they have in common? |Beschreibung EN=In this talk, a few language classes will be discussed including their automat439 Bytes (50 Wörter) - 04:13, 18. Okt. 2018
- |Titel EN=Ongoing Research in the NAVAS Project |Beschreibung EN=This talk provides an insight into the latest research of answer set naviga359 Bytes (44 Wörter) - 17:25, 15. Okt. 2021
- |Titel EN=EPCL PhD Workshop 2014 …o give research talks. In addition, the EPCL students present the progress in their thesis research.573 Bytes (73 Wörter) - 11:10, 18. Mär. 2015
- |Titel EN=ICCL Summer School 2005 |Beschreibung EN=Logic-based Knowledge Representation (ICCL-SS-2005)379 Bytes (36 Wörter) - 17:46, 17. Mär. 2015
- |Titel EN=Chile – A Trip Report |In News anzeigen=1262 Bytes (24 Wörter) - 18:16, 24. Mai 2016
- |Titel EN=ICCL Summer School 2006 |Beschreibung EN=ICCL Summer School 2006: Knowledge Structures (ICCL-SS-2006)393 Bytes (39 Wörter) - 17:44, 17. Mär. 2015
- |Titel EN=ICCL Summer School 2013 |Beschreibung EN=ICCL Summer School on Sementic Web - Ontology Languages and Their Use (Augu389 Bytes (42 Wörter) - 12:51, 11. Dez. 2014
- |Titel EN=ICCL Summer School 2008 |Beschreibung EN=ICCL Summer School 2008: Computational Logic and Cognitive Science (ICCL-SS416 Bytes (41 Wörter) - 17:41, 17. Mär. 2015
- |Titel EN=The 21st International Workshop on Description Logics 2008 |Beschreibung EN=The DL workshop is the major annual event of the description logic569 Bytes (74 Wörter) - 13:29, 18. Mär. 2015
- |Titel EN=38th German Conference on Artificial Intelligence …researchers from all areas of AI, providing a premier forum for exchanging news and research results on theory and applications of intelligent system techn839 Bytes (102 Wörter) - 18:28, 24. Mai 2016
- |Titel EN=Lyndon words and density of runs |Beschreibung EN=The concept of Lyndon words is very useful in combinatorics on words. We shall illustrate that namely on the question ask495 Bytes (65 Wörter) - 04:17, 18. Okt. 2018
- |Titel EN=Explaining neural network reasoning …use in certain domains where human understandable explanations are needed. In this talk we present different approaches on how to automatically generate729 Bytes (91 Wörter) - 05:45, 18. Okt. 2018
- |Titel EN=ICCL Summer School 2010 |Beschreibung EN=ICCL Summer School 2010: Cognitive Science, Computational Logic and Connect437 Bytes (43 Wörter) - 17:40, 17. Mär. 2015
- |Titel EN=Report on research visit to NRC |Beschreibung EN=Report on research visit to NRC315 Bytes (36 Wörter) - 14:59, 10. Dez. 2018
- |Titel EN=On Computing Explanations in Argumentation …admissible semantics to catch this aspect. This semantics will be defined in both abstract argumentation and assumption-based argumentation framework.…737 Bytes (89 Wörter) - 05:47, 18. Okt. 2018
- |Titel EN=Relbacoess …logics, modeling ontology evolution via Pi calculus and a current project in the recent years and possible topics to collaborate on.498 Bytes (61 Wörter) - 06:09, 18. Okt. 2018
- |Titel EN=SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topi |Beschreibung EN=Workshop on Second-Order Quantifier Elimination and Related Topics396 Bytes (38 Wörter) - 12:43, 13. Sep. 2017
- |Titel EN=Introducing Existential Rules and Module Extraction …s will be given, as well as an outline of the problem of module extraction in Existential Rules, laying out the main aims of this PhD thesis.685 Bytes (91 Wörter) - 05:49, 18. Okt. 2018
- |Titel EN=Communication with Automata …ular results is (1) a personal choice (because I like them) and (2) taught in the course "Models of Concurrent Systems" (apparently also known as "Concur665 Bytes (95 Wörter) - 23:46, 16. Mai 2022
