A valuable experience in logic programming
Annalisa Bossi, Nicoletta Cocco · Intelligenza Artificiale · 2011
In this paper, we briefly describe our experience in the field of analysis and transformation of logic programs. Although now we work in completely different fields, verification of security properties on the one hand and biosystems analysis on the other, our previous experience continues to be a valuable guide.