Using Extended Logic Programming for Alarm-Correlation in Cellular Phone
Networks.
Peter Froehlich, Carlos Damasio, Wolfgang Nejdl, Luis Moniz Pereira,
Michael Schroeder
Abstract: In this paper, we describe how to realise alarm-correlation
in cellular phone networks using extended logic programming which provides
integrity constraints, implicit and explicit negation.
Full Paper