 |
Organisation profile: Declarative Languages and Artificial Intelligence (DTAI) -
Katholieke Universiteit Leuven
| [ ID = 2413 ] | Declarative Languages and Artificial Intelligence (DTAI) - Katholieke Universiteit Leuven |
|---|---|
| Organisation name | Declarative Languages and Artificial Intelligence (DTAI) - Katholieke Universiteit Leuven |
| Short name or acronym | Declarative Languages and Artificial Intelligence (DTAI) - Katholieke Universiteit Leuven |
| Organisation type | Center |
| Activity type | Speech technology |
| Address | Department of Computer Science, Celestijnenlaan 200 A |
| Postal Code | B-3001 |
| City | Heverlee |
| Country | Belgium |
| Phone | + +32 16 327552 |
| Fax | + +32 16 327996 |
| dtaiwww_(on)_cs.kuleuven.ac.be | |
| Organisation URL | http://www.cs.kuleuven.ac.be/cwis/research/dtai/index-E.shtml |
| Logo | Description |
 |
The activities of DTAI (Declaratieve Talen en Artificiele Intelligentie = Declarative Languages and Artificial Intelligence) are centred around research and education in programming languages and artificial intelligence. Main themes of study are in the fields of declarative languages, machine learning, and knowledge representation. DTAI started in the mid-seventies, closely following the invention of logic programming and became one of the world's leading centres for research in logic programming. Gradually, the scope of its research broadened, including functional programming and more artificial intelligence oriented topics in knowledge representation and machine learning. The use of logic is a common thread to almost all activities. |
| Contact | |
| Name | Mr. Maurice Bruynooghe |
| Function | |
| Department | |
| Maurice.Bruynooghe_(on)_cs.kuleuven.ac.be | |
| Phone | + +32 16 327539 |
| Fax | + +32 16 327996 |
Update this profile
|
Last update: 2002-04-10 12:32:58 #!/usr/bin/ksh # cntr.cgi -- # version 0 DOC=$DOCUMENT_ROOT$DOCUMENT_URI VSTART=28-08-2008 WRONGLOG=${DOCUMENT_ROOT}/cntr.txt echo Content-type:text/html echo case $DOC in *experts*) CDIR=${DOCUMENT_ROOT}/cntex ;; *orgs*) CDIR=${DOCUMENT_ROOT}/cntor ;; *) WRONG=yes ;; esac CFILE=${DOC##*/} case ${CFILE} in [0-9][0-9][0-9][0-9].html) WRONG=no ;; *) WRONG=yes ;; esac [ $WRONG = yes ] && { echo "$(date) $REMOTE_ADDR ${DOC}" >> $WRONGLOG exit } CCNT=${CDIR}/${CFILE%.html}.txt CLCK=${CDIR}/${CFILE%.html}.lck [ -s $CCNT ] && COUNT=$(head -1 $CCNT) COUNT=$(( ${COUNT:-0} + 1 )) [ -f $CLCK ] || { touch $CLCK echo $COUNT > $CCNT rm -f $CLCK } echo " Visits since $VSTART: $COUNT" |