External Links
The links are in no particular order. Note that I am not responsible for
the contents of the sites which are referred to here.
Academic
Colibri Newsletter
Irish Mathematical Society
Irish
Formal Methods Special Interest Group
Topology Atlas
Contents
Direct (Elsevier)
Springer Link Alert
Kluwer Alert Service
Compulog Net
European Association for Theoretical
Computer Science
The Association
of Logic Programming
DANTE e.V.
Conference on Mathematical
Foundations of Computer Science and Information Technology 2000 in Cork
ResearchIndex
DBLP
Electronic Transactions on
Artificial Intelligence
ILPnet2
arXiv e-Print archive (includes CoRR)
Die Wurzel
Some Contacts
Howard A. Blair (Syracuse, New
York)
Richard
Bödi (Tübingen)
Ashish Darbari
(Oxford)
Manfred Droste (Dresden)
Bernhard Ganter (Dresden)
Artur d'Avila Garcez (London)
Markus Haase (Ulm)
Achim Jung (Birmingham)
Reinhard Kahle (Lisboa)
Ralph Kummetz (Dresden)
Torsten Linß
(Dresden)
Benedikt
Löwe (Amsterdam)
Carsten Lutz (Dresden)
Rainer Osswald (Hagen)
Susanna
Piazzera (Tübingen)
Michel Schellekens (Cork)
Rudi Studer (Karlsruhe)
Pawel Waszkiewicz (Krakow)
Stephan Winkler (Cambridge)
My Coauthors/Coeditors
Sebastian Bader
(Dresden) and Sebastian's Neural-Symbolic Integration Page
A. Chocholaty
Miguel A. Gutiérrez
Naranjo (Seville)
Roland Heinze (Bonn)
Finbarr Holland (Cork)
Steffen Hölldobler
(Dresden)
Gudrun Kalmbach H.E. (Ulm):
Begabtenförderung,
A
Conception of the World
Franz-Josef Klingen (Wegberg)
Otto Lange (Oldenburg)
Frithjof
Lutscher (Edmonton)
Gabriela Schmithüsen
Katharina Schmithüsen
Sibylle Schwarz
(Halle)
Anthony Karel Seda (Cork)
Matthias Wendt (Dresden)
Guo-Qiang Zhang (Cleveland)
Prolog
Introduction
to Prolog (T. Cornell)
SICStus
Prolog User's Manual
SWI-Prolog
Free/Shareware
Prolog Interpreters
Virtual
Library: Logic Programming
Studying
Universität Tübingen:
Department
of Mathematics
University College Cork: Department
of Mathematics
Dresden University of Technology:
Department of Computer Science
Case Western Reserve University: Department of Elecrical Engineering and Computer Science
International Masters
Programme in Computational Logic (Dresden)
Graduate
college Specification of discrete processes and
systems of processes by operational
models and logics, (Dresden)
News
N-TV
Tagesschau
The Irish Times
Spektrum der Wissenschaft
International Harald Tribune
Die ZEIT
Web Services
T-Online
Google
Global Message Exchange
Altavista
Altavista Babelfish
Metacrawer
All The Web
DejaNews
Egroups
Teleauskunft
Games
The Diplomatic Pouch
Diplomacy
Openings - Short Listing
The Vermont Group
Alain Tesio's Diplomacy Tools
FICS - Free Internet Chess Server
UCC Chess Club
Cork City
Chess Club
Irish Chess Online
Club Kasparov
UCC Bridge Club
FIBS - First Internet Backgammon Server
IGS - The Internet
Go Server
Nightfall MUD
Back to my home
page.