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.