Robert Kowalski, Imperial College, UK
Category: Regular columns
Logic and Abstraction, Verification and Falsification
Jan-Georg Smaus
Albert-Ludwigs-Universit¨at Freiburg, Germany
Book Announcement: Argumentation in Artificial Intelligence
Iyad Rahwan and Guillermo R. Simari
Software Announcement: Tom 2.7
Pierre-Etienne Moreau
Loria, Inria, France
Software Announcement: Potassco Labs
Torsten Schaub
University of Potsdam, Germany
Symbolic Analysis as a Basis for Program Comprehension
Semantic Web Language Layering with Ontologies, Rules, and Meta-Modeling
Regular columns
Here we report the papers submitted to area editors or directly to ALP newsletter editors
OLD ISSUES
Link to the old issues of ALP Newsletter (http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/newsletter/)