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

Diego Calvanese

Proc. of the 14th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005). 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 2005)",
   volume = "3702",
   publisher = "Springer",
   series = "Lecture Notes in Computer Science",
}