Informace o projektu
Computational Logic and Computational Methods
- Kód projektu
- MUNI/33/002/1995
- Období řešení
- 1/1995 - 12/1999
- Investor / Programový rámec / typ projektu
-
The Royal Society
- Projekty The Royal Society
- Fakulta / Pracoviště MU
- Fakulta informatiky
- WWW stránky projektu
- http://www.fi.muni.cz/usr/brim/projects/brim-city.html
- Klíčová slova
- computational logic, novel computational methods and models
- Spolupracující organizace
-
City University London
- Odpovědná osoba Dr. David Gilbert
- Odpovědná osoba Alessandra Di Pierro
- Odpovědná osoba prof. Herbert Wiklicky
- Odpovědná osoba Alexander Letichevsky
- Odpovědná osoba prof. Jean-Marie Jacquet
The Computational Logic and Computational Methods project aims at the research in the theory and applications of both computational logic, including constraint programming, as well as novel computational methods and models.
Výsledky
The Computational Logic and Computational Methods project aims at the research in the theory and applications of both computational logic, including constraint programming, as well as novel computational methods and models.