Core TuLiP Logic Programming for Trust Management

Marcin Czenko, Sandro Etalle. Core TuLiP Logic Programming for Trust Management. In Verónica Dahl, Ilkka Niemelä, editors, Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings. Volume 4670 of Lecture Notes in Computer Science, pages 380-394, Springer, 2007. [doi]

Abstract

Abstract is missing.