Feature Articles

On the Application of the Answer Set Programming System DLV in Industry: a Report from the Field

March 31, 2012
On the Application of the Answer Set Programming System DLV in Industry: a Report from the Field

By Francesco Calimeri and Francesco Ricca, Univ. of Calabria and DLV Systems, Rende, Italy
Read more »

Posted in ALP ISSUE, Feature Articles | Comments Off

Implementing Network Protocols as Distributed Logic Programs

March 31, 2012
Implementing Network Protocols as Distributed Logic Programs

By Boon Thau Loo, University of Pennsylvania
Read more »

Posted in ALP ISSUE, Feature Articles | Comments Off

Web Reasoning and Rule Systems: Five Years into the Conference

December 31, 2011

By Francesco Calimeri, University of Calabria, Italy Pascal Hitzler, Wright State University, USA
Read more »

Posted in ALP ISSUE, Feature Articles | Comments Off

Solving the Car Sequencing Problem with Constraint Logic Programming in the Automotive Industry

December 31, 2011
Solving the Car Sequencing Problem with Constraint Logic Programming in the Automotive Industry

Solving the Car Sequencing Problem with Constraint Logic Programming in the Automotive Industry by Thorsten Winterer Flexis AG, Stuttgart, Germany
Read more »

Posted in ALP ISSUE, Feature Articles | Comments Off

An Alternative Approach for Implementing Prolog

September 30, 2011
An Alternative Approach for Implementing Prolog

by Sven Hager and Carl Friedrich Bolz Heinrich-Heine Universitat Dusseldorf, STUPS Group, Germany
Read more »

Posted in ALP ISSUE, Feature Articles | No Comments »

Reachability Analysis via Specialization of Constraint Logic Programs

September 30, 2011

By Fabio Fioravanti, University `G. D'Annunzio', Pescara, Italy Alberto Pettorossi, Valerio Senni, University of Rome Tor Vergata, Rome, Italy Maurizio Proietti, CNR-IASI, Rome, Italy
Read more »

Posted in ALP ISSUE, Feature Articles | No Comments »

Finding Answers and Generating Explanations for Complex Biomedical Queries using Answer Set Programming

September 30, 2011

By Esra Erdem Sabanci University Istanbul, Turkey.
Read more »

Posted in ALP ISSUE, Feature Articles | Comments Off

CLP(FD) Systems Foreword

June 30, 2011

By Roman Bartak and Tom Schrijvers
Read more »

Posted in ALP ISSUE, Feature Articles | Comments Off

Probabilistic Prolog Systems

June 30, 2011

Probabilistic Prolog Systems, by Luc De Raedt, Angelika Kimmig, Vitor Santos Costa (and many others)
Read more »

Posted in ALP ISSUE, Feature Articles | Comments Off

Constraint Logic Programming in SWI-Prolog

June 30, 2011

By Markus Triska
Read more »

Posted in ALP ISSUE, Feature Articles | Comments Off