]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/sites/dfki.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / sites / dfki.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE site SYSTEM "site.dtd">
4
5 <site>
6  <name>German Research Center for Artificial Intelligence, GmbH, DFKI</name>
7  <country>Germany</country>
8  <url>http://www.dfki.uni-sb.de</url>
9  <address>
10   DFKI GmbH,
11   Stuhlsatzenhausweg 3,
12   D-66123 Saarbr&#x00fc;cken
13  </address>
14  <responsible file="dfki/kohlhase"/>
15  <description>
16   <p>The German Research Center for Artificial Intelligence
17      GmbH, DFKI was founded in 1988. Today, DFKI is one of the largest
18      non-profit contract research institutes in the field of innovative
19      software technology based on Artificial Intelligence (AI) methods. DFKI
20      is focusing on the complete cycle of innovation - from world-class basic
21      research and technology development through leading-edge demonstrators
22      and prototypes to product functions and commercialization. Based in
23      Kaiserslautern and Saarbr&#x00fc;cken, the German Research Center for
24      Artificial Intelligence ranks among the important ``Centers of
25      Excellence'' worldwide. The key directors of DFKI are Prof. Dr. Wolfgang
26      Wahlster (CEO) and Dr. Walter G. Olthoff (CFO).DFKI's mission is
27      technology transfer, that is to move innovations in AI as quickly as
28      possible from the lab into the marketplace by maintaining research
29      projects at the forefront of science. Expertise and experience of the
30      company DFKI has strong expertise in each of the following domains:</p>
31   <ul>
32    <li>Information Management and Document Analysis (Director: Prof. Dr.
33        Andreas Dengel)</li>
34    <li>Intelligent Visualization and Simulation Systems
35        (Director: Prof. Dr. Hans Hagen)</li>
36    <li>Deduction and Multiagent Systems (Director: Prof.
37        Dr. Jorg Siekmann)</li>
38    <li>Language Technology (Director: Prof. Dr. Hans Uszkoreit)</li>
39    <li>Intelligent User Interfaces (Director: Prof. Dr.
40        Wolfgang Wahlster)</li>
41   </ul>
42   <p>DFKI is involved in numerous industrial, academian
43      projects including projects in the current EC IST programme dealing with
44      research and development in the broad areas of intelligent interface
45      agents, and multiagent systems for applications in supply-chain
46      management, virtual enterprises, e-commerce and advanced information
47      systems. The partners of the DFKI are leading large-scale
48      concerns such as DaimlerChrysler, SAP, and Alcatel, plus the two
49      universities of Kaiserlautern and Saarbrucken. In the range of
50      medium-sized firms INSIDERS, IDS Scheer, Tecmath and KIBG are to be added.
51      Finally, the two most important large-scale research centers on
52      international level, i.e.  the Fraunhofer Society and GMD, round off the
53      circle of partners. DFKI is part of several European Networks of
54      Excellence such as AgentLink and CompuLog.</p>
55   <p>Recently, an Education Technology Group of DFKI, headed
56      by Prof. J.H. Siekmann, has been established. It has carried out basic
57      research and applications in several fields of AI, including presentation
58      planning (for education material), user modeling, proof planning,
59      knowledge representation (for educational and mathematical Web-documents)
60      and integration of (mathematical services). Its main prototypical product
61      so far has been the Web-based, user-adaptive, generative learning
62      environment ActiveMath that integrates several external services.
63      Members of the group are actively involved in the international academic
64      life by organizing or contributing to conferences and workshops.</p>
65  </description>
66  <member file="dfki/siekmann"/>
67  <member file="dfki/kohlhase"/>
68  <member file="dfki/melis"/>
69  <member file="dfki/moschner"/>
70  <member file="dfki/goguadze"/>
71  <member file="dfki/libbrecht"/>
72 </site>