| 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.

| # 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

### Author Index

### 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