![[CEUR Workshop Proceedings]](http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/CEUR-WS-logo.png){kind=logo}
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.
|
|
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 |
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