Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach

Proc. of the 14th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux). Volume 3702 of Lecture Notes in Computer Science. 2005.

@inproceedings{TABLEAUX-2005,
   title = "Query Processing in Peer-to-Peer Systems:  An Epistemic Logic
Approach",
   year = "2005",
   author = "Diego Calvanese",
   booktitle = "Proc. of the 14th Int. Conf. on Automated Reasoning with
Analytic Tableaux and Related Methods (Tableaux)",
   volume = "3702",
   publisher = "Springer",
   series = "Lecture Notes in Computer Science",
   doi = "10.1007/11554554_1",
}