spacer.png, 0 kB
spacer.png, 0 kB
Home arrow The Conference arrow Accepted Application Papers
Accepted Application Papers

 Martin Gebser, Torsten Schaub, Sven Thiele, Bjoern Usadel and Philippe Veber.
Detecting Inconsistencies in Large Influence Networks with Answer Set Programming

Georg Boenn, Martin Brain, Marina De Vos and John Fitch.
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming

Marco Montali, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello and Paolo Torroni.
Verification from declarative specifications

Alessandra Mileo, Davide Merico and Roberto Bisiani.
A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living

Gergely Lukácsy, Peter Szeredi and Balázs Kádár.
Prolog based Description Logic reasoning

Michela Milano, Luca Benini and davide bertozzi.
Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms using Constraint Programming

Last Updated ( Monday, 14 April 2008 )
spacer.png, 0 kB
spacer.png, 0 kB
spacer.png, 0 kB