Efficient trust management policy analysis from rules

摘要

This volume contains the papers presented at PPDP 2007, the 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, held July 14-16, 2007 in Wroc?aw, Poland. >The Symposium aims to provides a forum that brings together those in the declarative programming communities including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages used, for expample, in the "semantic web". The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, and to stimulate cross-fertilization by including work from one community that could be of particular interest and relevance to the others. >This years PPDP was held in conjunction with the 22nd Annual IEEE Symposium on Logic inComputer Science (LICS) and the 34th International Colloquium on Automata, Languages and Programming (ICALP). >The START conference management system was used for the handling of electronic submissions, for allocation of reviewing duties, and for filing of reviews. The committee decided to accept 20 papers. In addition to the regular paper presentation, the scientific program included three invited talks, by Josh Berdine (Microsoft Research Cambridge, UK), Konstantinos Sagonas (National Technical University of Athens, Greece) and Witold Charatonik (University of Wroc?aw, Poland).