|
|
Links
Research
DLV
|
DLV project homepage.
|
Smodels
|
Non-disjunctive datalog system developed at Helsinki University of Technology.
|
NoMoRe
|
Non-disjunctive datalog system developed at the University of Potsdam.
|
DeReS
|
DeReS is a Default Reasoning System, which can also calculate answer sets of (nondisjunctive) logic programs.
|
DisLog
|
Disjunctive datalog system developed at the University of Würzburg.
|
DBLP
|
Digital Bibliography & Library Project (previously:
DataBase systems and Logic Programming)
|
OEGAI
|
Österreichische Gesellschaft für Artificial Intelligence
|
SATO
|
A Davis Putnam implementation.
|
Böhm
|
Another Davis Putnam implementation.
|
SATLIB
|
Satisfiability resources.
|
Researchers
Here are some links to researchers working on related topics or who
I just happened to meet at some conferences, workshops etc. Some of
this informations will be outdated by nature - if you find yourself
on this list and do not agree with my comments, just send me an
email and tell me about it!
Slim Abdennadher
|
Researcher at LMU München, Germany, co-inventor of Constraint Handling Rules (CHR). I have met him at several "Workshops Logisches Programmieren".
|
Christian Anger
|
Co-creator of the ASP system NoMoRe. Met him in Potsdam at DGNMR and at Dagstuhl.
|
Chitta Baral
|
Researcher at the Arizona State University, USA. He works (among other
things) on answer set programming (there will be a book authored by
him on this topic soon!) and planning.
|
Harold Boley
|
Researcher at the German Research Center for Artificial Intelligence. I have met him at several "Workshops Logisches Programmieren".
|
Stefan Brass
|
Researcher at the University of Pittsburgh, USA. Author of many papers on semantics of disjunctive logic programs.
|
François Bry
|
Researcher at LMU München, Germany, very well-known in the Theorem Proving community. I have met him at several "Workshops Logisches Programmieren".
|
Francesco Buccafurri
|
I first met him in Vienna many years ago. Works in Logic Programming and similar areas.
|
Marco Cadoli
|
Researcher at the University of Rome, Italy. Works with logic, complexity, knowledge representation, and much more.
|
James Crawford
|
Currently at i2 Technologies, Texas, USA. One of the very well-known persons of the SAT community.
|
Marina De Vos
|
Works in (Ordered) Logic Programs, Game Theory and more, and is also very active in WASP. Met her first in El Paso at LPNMR 1999.
|
Jürgen Dix
|
Researcher at the University of Manchester, UK. Author of many papers on semantics of disjunctive logic programs, agents, and more.
|
Thomas Eiter
|
My boss. Guru in complexity, logic, symbolic AI, and an enormous number of other topics.
|
Esra Erdem
|
She works with answer set planning and similar issues. I met her first at ICLP 1999, now she is my roommate.
|
Norman Foo
|
He works in a very broad area, and knows incredibly much (and also incredibly many funny stories to tell). Met him first in Vienna at LPNMR 2001.
|
Michael Gelfond
|
Reasearcher
at Texas Tech University, USA. His name will live forever with the
"Gelfond-Lifschitz transformation". He works in answer set
programming, planning, and many other topics.
|
Enrico Giunchiglia
|
Researcher at the University of Genova, Italy. He works in planning, satisfiability, QBFs, and more.
|
Holger Hoos
|
Researcher at the University of British Columbia, Canada. Expert with stochastic search techniques.
|
Henry Kautz
|
Researcher at the University of Washington, USA. Very well known researcher in the areas of SAT, planning, stochastic search etc.
|
Kathrin Konczak
|
Co-creator of the ASP system NoMoRe. Met her in Dagstuhl and at JELIA
2002.
|
Joohyung Lee
|
He works in Answer Set Programming. I met him in Mumbai at ICLP 2003.
|
Nicola Leone
|
Head of the DLV project and collaborator in several projects, now at the
University of Calabria, Italy.
|
Yuliya Lierler
|
Previously known as Yuliya Babovich. She co-created the CMODELS ASP system.
|
Vladimir Lifschitz
|
Researcher at the University of Texas, USA. His name will live forever with the
"Gelfond-Lifschitz transformation". He works in answer set
programming, planning, and many other topics.
|
Thomas Linke
|
Researcher at the University of Potsdam, Germany. After having worked with default logic, he and his colleagues have produced a new ASP system (NoMoRe).
|
Alessandra Mileo
|
She works with Alessandro Provetti, met her in Reggio di Calabria at AGP 2003.
|
Jack Minker
|
Researcher at the University of Maryland, USA.
|
Ilkka Niemelä
|
Researcher at the Helsinki University of Technology, Finland.
|
David Pearce
|
Researcher at the German Research Center for Artificial Intelligence and coordinator of Compulog Net.
|
Gerald Pfeifer
|
Cooperator in many projects, researcher at TU Wien, Austria.
|
Axel Polleres
|
My friend, collaborator, student, former roommate. All at the same time!
|
Francesco Scarcello
|
First met him many years ago in Vienna. The man with the highest energy per body size...
|
Patrik Simons
|
Former researcher at the Helsinki University of Technology, Finland.
|
Tran Cao Son
|
He works with planning, inheritance systems and who-knows-what-else. Met him first in Washington, DC.
|
Umberto Straccia
|
He works in Logic Programming and Uncertainty. Met him in Mumbai at ICLP 2003.
|
Tommi Syrjänen
|
Works on lparse, smodels and many other things in ASP. Met him several times, first time probably at LPNMR 2001.
|
Davy Van Nieuwenborgh
|
Met him several times, he is working with Dirk Vermeir, mostly on Ordered Logic Programs.
|
Yuting Zhao
|
Created the ASSAT ASP system, met him in Dagstuhl and Mumbai.
|
Friends
Music
The Cheesy Homepage
|
The first Primus webpage by Ram Samudrala , who also created alt.music.primus.
|
Baby Snufkin
|
A VERY cool Californian band, who play in Austria fairly
often. Incredible live performance!
|
M.I.R.V.
|
MIRV, a very cool Californian band, IMO ready for world domination :)
|
TU Wien
Software
egcs
|
The egcs (Enhanced GNU Compiler System) project.
|
Public Transport
bahnen.at
|
Successor of Bernd Ennsfellner's pages on Austrian railways.
|
|
Austrian and international railways, trams, etc.
|
Gerald Kempel
|
Very informative page on public transport in Austria (in German).
|
Astrail
|
Contains (in German) some visions of mass transport of the future.
|
Food and Beverages
Running
Lauftreff
|
Der virtuelle Lauftreff. [in German]
|
Night Photography
Miscellaneous
Wolfgang Fabers in the WWW
|
He works at a chemistry
department of the Vienna University of Technology. This guy started
his studies in the same year as I did, some former schoolmates
introduced him to me once (I was completely puzzled and thought it was
a joke until I saw his student ID [even there four of the seven digits
of the "Matrikelnummer" were equal]). Apparently he also finished in
the same year as I did; plus he had his "Sponsion" (graduation event)
on the same day as I did (in the morning - mine was in the afternoon),
where he gave the speech as student representative (which I did in the
afternoon as well). This last fact also puzzled somebody in the
"Dekanat" (dean's office), where we brought a hardcopy of our speech:
"You've been here in the morning - but you looked different!"
|
Fabers in the WWW
Faber genealogy forum
|
There are quite many more Fabers, most of which are probably unrelated to me,
so I just provide these genealogy links.
|
Online Culture
Sokoban
Yoshio Murase's Sokoban page
|
Contains many puzzles designed by the author of that page. He has also created a tool for automatically generating interesting puzzles.
|
xsokoban
|
Sokoban game for the X Window System.
|
|