Project information
Computational Logic and Computational Methods
- Project Identification
- MUNI/33/002/1995
- Project Period
- 1/1995 - 12/1999
- Investor / Pogramme / Project type
-
The Royal Society
- The Royal Society Projects
- MU Faculty or unit
- Faculty of Informatics
- Project Website
- http://www.fi.muni.cz/usr/brim/projects/brim-city.html
- Keywords
- computational logic, novel computational methods and models
- Cooperating Organization
-
City University London
- Responsible person Dr. David Gilbert
- Responsible person Alessandra Di Pierro
- Responsible person prof. Herbert Wiklicky
- Responsible person Alexander Letichevsky
- Responsible person 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.
Results
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.