Core TuLiP Logic Programming for Trust Management.

Marcin Czenko, Sandro Etalle

Browse the full ICLP paper archive.