We are happy to announce our new web site that collects and provides
information on various Logic Programming Systems. We emphasize on systems
that extend PROLOG to handle various forms of non-monotonic negations and
disjunctions. There are various archives that provide information on
different implementations of PROLOG, but information on systems that are
developed for non-monotonic reasoning aspect of Logic Programming is not
available at large. We aim to fill up this void and hence this web page.
The idea and motivation for such a web page came from a Dagstuhl seminar
organized by J. Dix, D. W. Loveland, J. Minker, and D. S. Warren in July,
1996. Following successful demonstrations of systems by L. M. Pereira &
his colleagues, I. Niemelae, P. Baumgartner, D. Seipel, F. Bry & A. H.
Yahya, S. Brass, and D. S. Warren & his colleagues, every participant of
the seminar felt that a web page should be set up to collect information
on all such systems. We voluntered to do that job and created this web
page.
We hereby invite all those who are developing a Logic Programming system
in non-monotonic reasoning perspective (semantics of various kinds of
negations and disjunctions) to visit this web site and fill out
a form to provide information on their systems.
Anyone interested in the non-monotonic aspects of Logic Programming is
welcome to this web site to learn about systems being developed. Of
course, do not forget to pass on your comments and suggestions to us!
Thank you very much for your attention and hope to see many hits at this
web site soon!!!
Regards,
AI Research Group
Koblenz, Germany.
------------------------------------------------------------
Dorothea Schaefer __o
email: doro@informatik.uni-koblenz.de _`\<,_
www: http://www.uni-koblenz.de/~doro/ (_)/ (_)
~~~~~~~~~~~
-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community.
Requests to get on or off dbworld should go to listproc@cs.wisc.edu.
to subscribe send
subscribe dbworld Your Full Name
to unsubscribe send
unsubscribe dbworld
to change your address
send an unsubscribe request from the old address
send a subscribe request from the new address
to find out more options send
help
------------------------------------------------------------------------FOOTER-