Welcome to this site! The goal of this site is to promote
further
research and dissemination of research results about AnsProlog*
(logic programming with answer sets) as steps towards
developing
appropriate declarative language features and building
blocks for
knowledge representation, reasoning and problem solving.
The book is an early 2002 (partial) snapshot of this.
We hope to
use this site for pointing the readers at new results
(or results that
were missed in the book), at related courses, slides,
codes written
in the language of systems such as Smodels and DLV, open
problems,
and discussion through a moderated bulletin board.
One of the important goal of this site is to continuously
add new results
in the field in a style consistent with the book. We will
do this in several
steps. First a paper with new results can be pointed to
from the `New papers'
page. In the Addendum page there will be three categories:
a list of reviewed
content; a list of submitted content; and invitations
to submit
content on a list of topics. Only content that is in a
style consistent with the
book will be made available in the `reviewed content'
section.