Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/European_Master_Program_in_Computational_Logic> ?p ?o }
Showing triples 1 to 50 of
50
with 100 triples 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 wikiPageLength "3183".
- European_Master_Program_in_Computational_Logic wikiPageOutDegree "26".
- European_Master_Program_in_Computational_Logic wikiPageRevisionID "689002664".
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Artificial_intelligence.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Bioinformatics.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Category:Erasmus_Mundus_Programmes.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Category:Study_abroad_programs.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Computability_theory.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Computational_logic.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Database.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Declarative_programming.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Deductive_reasoning.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Dresden_University_of_Technology.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Erasmus_Mundus.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink European_PhD_Program_in_Computational_Logic.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Formal_verification.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Free_University_of_Bozen-Bolzano.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Knowledge_representation_and_reasoning.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Logic.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink NICTA.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Natural_language_processing.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Ontology_(information_science).
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Semantic_Web.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Software_verification_and_validation.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Theoretical_computer_science.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Universidade_Nova_de_Lisboa.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Vienna_University_of_Technology.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink File:Bolzano_alps.jpg.
- European_Master_Program_in_Computational_Logic wikiPageWikiLinkText "European Master Program in Computational Logic".
- European_Master_Program_in_Computational_Logic wikiPageWikiLinkText "European Master's Program in Computational Logic (EMCL)".
- 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 Type.
- European_Master_Program_in_Computational_Logic type Policy.
- European_Master_Program_in_Computational_Logic type Program.
- European_Master_Program_in_Computational_Logic type Programme.
- European_Master_Program_in_Computational_Logic type Type.
- 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 Q5412807.
- European_Master_Program_in_Computational_Logic sameAs m.064pz46.
- European_Master_Program_in_Computational_Logic sameAs Q5412807.
- European_Master_Program_in_Computational_Logic wasDerivedFrom European_Master_Program_in_Computational_Logic?oldid=689002664.
- European_Master_Program_in_Computational_Logic depiction Bolzano_alps.jpg.
- European_Master_Program_in_Computational_Logic isPrimaryTopicOf European_Master_Program_in_Computational_Logic.