Matches in DBpedia 2014 for { <http://dbpedia.org/resource/European_Master_Program_in_Computational_Logic> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- European_Master_Program_in_Computational_Logic abstract "The European Master's Program in Computational Logic (EMCL) is a two years joint MSc programme offering a joint degree between four European universities as a part of the Erasmus Mundus co-operation and mobility programme. So far (from 2004 to 2008), this programme had more than 130 students. The partner institutions are: Technische Universität Dresden, Germany (coordinating university) Free University of Bozen-Bolzano, Italy Universidade Nova de Lisboa, Portugal Technische Universität Wien, Austria NICTA, AustraliaBased on a solid foundation in mathematical logic, theoretical computer science, artificial intelligence and declarative programming students will acquire in-depth knowledge necessary to specify, implement and run complex systems as well as to prove properties of these systems. In particular, the focus of instruction will be in deduction systems, knowledge representation and reasoning, ontologies, artificial intelligence, formal specification and verification, logic and computability. This basic knowledge is then applied to areas like natural language processing, the semantic web, bioinformatics, information systems and database technology, software and hardware verification. Students will acquire practical experience and will become familiar in the use of tools within these applications. In addition, students will be prepared for a future PhD, they will come in contact with the international research community and will be integrated into ongoing research projects. They will develop competence in foreign languages and international relationships, thereby improving their social skills.The European Master's Program in Computational Logic is sponsored by the European Network of Excellence on Computational Logic (CoLogNET), the European Association of Logic, Language and Information (FoLLI), the IBM Center for Advanced Studies (IBM-CAS), the European Coordinating Committee for Artificial Intelligence (ECCAI), the Italian Association for Artificial Intelligence (AI*IA), the Italian Association for Informatics (AICA, member of the Council of European Professional Informatics Societies), the Italian Association for Logic and its Applications (AILA), and the Portuguese Association for Artificial Intelligence (APPIA).The European PhD Program in Computational Logic (EPCL) extends on EMCL and is offered bythe same four universities as EMCL. It will start in fall 2011.".
- European_Master_Program_in_Computational_Logic thumbnail Bolzano_alps.jpg?width=300.
- European_Master_Program_in_Computational_Logic wikiPageExternalLink www.emcl-study.eu.
- European_Master_Program_in_Computational_Logic wikiPageExternalLink www.epcl-study.eu.
- European_Master_Program_in_Computational_Logic wikiPageID "23022516".
- European_Master_Program_in_Computational_Logic wikiPageRevisionID "432856920".
- European_Master_Program_in_Computational_Logic hasPhotoCollection European_Master_Program_in_Computational_Logic.
- European_Master_Program_in_Computational_Logic subject Category:Erasmus_Mundus_Programmes.
- European_Master_Program_in_Computational_Logic subject Category:Study_abroad_programs.
- European_Master_Program_in_Computational_Logic type Abstraction100002137.
- European_Master_Program_in_Computational_Logic type Announcement106746580.
- European_Master_Program_in_Computational_Logic type Cognition100023271.
- European_Master_Program_in_Computational_Logic type Communication100033020.
- European_Master_Program_in_Computational_Logic type Content105809192.
- European_Master_Program_in_Computational_Logic type ErasmusMundusProgrammes.
- European_Master_Program_in_Computational_Logic type Idea105833840.
- European_Master_Program_in_Computational_Logic type Message106598915.
- European_Master_Program_in_Computational_Logic type Plan105898568.
- European_Master_Program_in_Computational_Logic type Program106748466.
- European_Master_Program_in_Computational_Logic type PsychologicalFeature100023100.
- European_Master_Program_in_Computational_Logic type Statement106722453.
- European_Master_Program_in_Computational_Logic type StudyAbroadPrograms.
- European_Master_Program_in_Computational_Logic comment "The European Master's Program in Computational Logic (EMCL) is a two years joint MSc programme offering a joint degree between four European universities as a part of the Erasmus Mundus co-operation and mobility programme. So far (from 2004 to 2008), this programme had more than 130 students.".
- European_Master_Program_in_Computational_Logic label "European Master Program in Computational Logic".
- European_Master_Program_in_Computational_Logic sameAs m.064pz46.
- European_Master_Program_in_Computational_Logic sameAs Q5412807.
- European_Master_Program_in_Computational_Logic sameAs Q5412807.
- European_Master_Program_in_Computational_Logic sameAs European_Master_Program_in_Computational_Logic.
- European_Master_Program_in_Computational_Logic wasDerivedFrom European_Master_Program_in_Computational_Logic?oldid=432856920.
- European_Master_Program_in_Computational_Logic depiction Bolzano_alps.jpg.
- European_Master_Program_in_Computational_Logic isPrimaryTopicOf European_Master_Program_in_Computational_Logic.
