LPAR-19
19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
HOME
PROGRAM
LPAR
|
ALCS
|
ALFA
|
IWIL
|
LRCM
Andreas Krebs
Organization:
Universitat Tübingen
Web site:
http://fuseki.informatik.uni-tuebingen.de/mitarbeiter/krebs.html
Pages in this Program
ALFA Accepted Papers
ALFA Accepted Papers with Abstracts