By Jacob M. Howe, Department of Computing, City University London, and Andy King, School of Computing, University of Kent, Canterbury.
By Paul Tarau, Department of Computer Science and Engineering, University of North Texas, Denton, Texas.
By Andrea Calì (2,3), Georg Gottlob (1,3),
Thomas Lukasiewicz (1), and Andreas Pieris (1)
(1) Computing Laboratory University of Oxford, UK
(2) Department of Information Systems and Computing Brunel University, UK
(3) Oxford-Man Institute of Quantitative Finance University of Oxford, UK
The handling of failing process executions has a long history in computer science. In this article we introduce methods for the diagnosis and repair of failed service-based processes and describe how logic programming can be successfully applied [….]
By Gerhard Friedrich Universitaet Klagenfurt
by Michael Gelfond and Nelson J. Rushton,
Department of Computer Science, Texas Tech University
By Gourinath Banda, Roskilde University, Denmark, and John P. Gallagher Roskilde University, Denmark and IMDEA Software, Madrid.
Alessandro Dal Palù Dip. di Matematica, Università di Parma (Italy)
Paolo Torroni DEIS, Università di Bologna (Italy)
Eastman Kodak Company, USA
Texas Tech University, USA
Communicated by: Francesca Toni
By Marcello Balduccini and Michael Gelfond
University of Minnesota, USA
Communicated by: Brigitte Pientka