|
|
| Giga Bits (more) | 5th | Research | Equipe de Logique |
| Logic | finite and infinite model theory | 10 | 1998 |
| 1999 | Mathematical Logic | Mathématiques | philosophy of mathematics |
 |
(Austria) University of Vienna Department of Formal Logic. Search in Category: Science: Math: Academic Departments: Europe: Austria www.logic.univie.ac.at - cached |
|
(Italy) Istituto di Elaborazione della Informazione Information and news on research activities. www.isti.cnr.it - cached |
|
(Italy) LADSEB-CNR - Ontological Foundations Research group in ontological foundations of knowledge engineering and conceptual modeling. The group performs basic and applied research on the ontological foundations of knowledge engineering and conceptual modeling, exploring the role of ontology in different fields. The group is characterized by a strong interdisciplinary approach that combines Computer Science, Philosophy, and Linguistics, and relies on Logic as an unifying paradigm. On the application side, main emphasis is given on the use of ontologies for electronic commerce, enterprise integration, knowledge management, and information access to the Web Search in Category: Reference: Knowledge Management: Knowledge Representation: Research Groups www.loa-cnr.it - cached |
|
(Netherlands) Amsterdam Institute for Logic, Language and Computation. www.illc.uva.nl - modified: Feb 01 2010 - cached |
|
(Russia) St. Petersburg Laboratory of Mathematical Logic of the Steklov Institute of Mathematics. logic.pdmi.ras.ru - cached |
|
(Spain) Barcelona Logic, History and Philosophy of Science. www.ub.es/logica/Dpt-a.html - cached |
|
(Spain) Universidad Politécnica de Madrid Computational Logic, Implementation, and Parallelism Lab. www.clip.dia.fi.upm.es - cached |
|
(Austria) Linz - Hagenberg Fuzzy Logic Laboratorium, Softwarepark Hagenberg / Johannes Kepler Universität. Lectures, seminars, publications, staff, projects, other resources. www.flll.uni-linz.ac.at - cached | |
|
(Austria) Vienna University of Technology Group in Applications of Formal Logic. www.logic.at - cached | |
|
(Belgium) University of Mons-Hainault Mathematical Logic. www.umh.ac.be/math/logic - cached | |
|
(Czech Republic) Prague Academy of Science, Mathematical Institute, Logic Seminar. Search in Category: Computers: Computer Science: Theoretical: Complexity Theory: People www.math.cas.cz/~krajicek/logika.html - cached | |
|
(Finland) Helsinki Logic Group. www.logic.math.helsinki.fi - published: Dec 04 2001 - cached | |
|
(France) Paris 7 Mathematical Logic Team. www.logique.jussieu.fr/index-english.html - cached | |
|
(Hungary) Budapest Set Theory and Topology. Search in Category: Science: Math: Academic Departments: Europe: Hungary Search in Category: Science: Math: Research: Institutes www.math-inst.hu/pub/setop/setop.html - cached | |
|
(Netherlands) Amsterdam Dutch Research School in Logic (OZSL). Search in Category: Regional: Europe: Netherlands: Utrecht: Utrecht: Education www.ozsl.uu.nl - published: Sep 06 2005 - cached | |
|
(Sweden) Uppsala Mathematical Logic. www.math.uu.se/research/groups/logic.php - cached | |
|
Compulog Net Europe's Network of Excellence in Computational Logic. Events, educational resources, links. Search in Category: Reference: Education: Colleges and Universities: Europe: United Kingdom: Open University: Departments and Programs Search in Category: Reference: Knowledge Management: Organizations kmi.open.ac.uk/compulog - cached | |
|
ECOR: European centre for ontological research The European Center for Ontological Research represents a new approach in applying ontology to a variety of problems in information science and related areas. The Center draws on the expertise and skills of existing institutions throughout Europe. Search in Category: Reference: Knowledge Management: Knowledge Representation: Ontologies www.ecor.uni-saarland.de - cached | |
|
(Czech Republic) Charles University Constraint and Logic Programming research group. People, research projects, publications and resources. kti.ms.mff.cuni.cz/~bartak/clp - modified: Dec 31 2009 - cached | |
|
(Russia) Moscow Logic Department. www.logic.ru/Engl/depart - cached | |
|
KATEDRA LOGIKY logika.ff.cuni.cz/artsys - cached | |
|
ERCIM Working Group on Constraints Background, objectives, members and workshops. contraintes.inria.fr/~soliman/ercim - modified: Apr 15 2009 - cached | |
|
(Belgium) Ghent Centre for Logic and Philosophy of Science. Search in Category: Society: Philosophy: Philosophy of Science: Academic Departments logica.rug.ac.be/centrum - modified: Sep 01 2009 - cached | |
|
(France) Paris 1 Logic Seminar. www-philo.univ-paris1.fr/engsemP1.html - published: Mar 18 1996 - cached | |
|