[CEUR Workshop Proceedings] Vol-546

Copyright © 2009 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. This volume is published by its editors.




The sea'09 logo

Software Engineering
for
Answer Set Programming

SEA'09

Proceedings of the Second International SEA'09 Workshop,
Potsdam, Germany, 14th September 2009

Co-located event with the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam, Germany.

Edited by

Marina De Vos, University of Bath, mdv@cs.bath.ac.uk
Torsten Schaub, University of Potsdam, torsten@cs.uni-potsdam.de


 

Preface


Organisation


Table of Contents


Invited Speaker

On Building a Competitive Comformant Planner
Tran Cao Son (New Mexico State University, USA)


Research Papers

A Preference Meta-Model for Logic Programs with Possibilistic Ordered Disjunction
R. Confalonieri (Universitat Politecnica de Catalunya), J. C. Nieves (Universitat Politecnica de Catalunya), and J. Vazquez-Salceda (Universitat Politecnica de Catalunya)

A Framework for Programming with Module Consequences
W. Faber (University of Calabria, Italy) and S. Woltran (Vienna University of Technology, Austria)

A Pragmatic Programmer's Guide for Answer Set Programming
M. Brain (University of Bath, UK), O. Cliffe (University of Bath, UK) and M. De Vos (University of Bath, UK)

Yet Another Modular Action Language
M. Gelfond (Texas Tech University, USA) and D. Inclezan (Texas Tech University, USA)

A Visual Tracer for DLV
F. Calimeri (Universit`a della Calabria, Italy), N. Leone (Universit`a della Calabria, Italy), F. Ricca (Universit`a della Calabria, Italy), P. Veltri (Universit`a della Calabria, Italy)


Author Index


Complete Proceedings


 


02-Dec-2009: submitted by Marina De Vos
02-Dec-2009: published on CEUR-WS.org