{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:08:57Z","timestamp":1725502137107},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540774648"},{"type":"electronic","value":"9783540774655"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77465-5_17","type":"book-chapter","created":{"date-parts":[[2008,2,12]],"date-time":"2008-02-12T06:26:43Z","timestamp":1202797603000},"page":"331-356","source":"Crossref","is-referenced-by-count":3,"title":["Soft Query-Answering Computing in P2P Systems with Epistemically Independent Peers"],"prefix":"10.1007","author":[{"given":"Zoran","family":"Majki\u0107","sequence":"first","affiliation":[]},{"given":"Bhanu","family":"Prasad","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Majki\u0107, Z.: Autoepistemic belief-revision for integration of mutually inconsistent knowledge. In: IICAI 2007, 3rd edn. Indian International Conference on Artificial Intelligence, Pune, India, December 17-19 (2007)"},{"key":"17_CR2","unstructured":"Majki\u0107, Z.: Beyond fuzzy: Parameterized approximations of Heyting algebras for uncertain knowledge. In: IICAI 2005, 2nd edn. Indian International Conference on Artificial Intelligence, Pune, India, December 20-22 (2005)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Majki\u0107, Z.: Intuitionistic truth-knowledge symmetric bilattices for uncertainty in intelligent systems. In: IS 2006, 3rd edn. Int.IEEE Conf. on Intelligent Systems, London, UK, September 4-6 (2006)","DOI":"10.1109\/IS.2006.348505"},{"key":"17_CR4","unstructured":"Hyperbee, World-wide web (2007), http:\/\/www.hyperbee.com"},{"key":"17_CR5","unstructured":"Sourceforge, World-wide web (2007), http:\/\/freenet.sourceforge.com"},{"key":"17_CR6","unstructured":"Napster, World-wide web (2001), http:\/\/www.napster.com"},{"key":"17_CR7","unstructured":"ICQ, World-wide web (2007), http:\/\/www.icq.com"},{"key":"17_CR8","unstructured":"Jabber Inc, World-wide web (2007), http:\/\/www.jabber.org"},{"key":"17_CR9","unstructured":"SETI, World-wide web (2007), http:\/\/setiathome.ssl.berkeley.edu"},{"key":"17_CR10","unstructured":"Zaihrayeu, I.: Query answering in peer-to-peer database networks. Technical Report DIT-03-012, University of Trento, Italy (2003)"},{"key":"17_CR11","unstructured":"Groove, World-wide web (2007), http:\/\/office.microsoft.com\/en-us\/groove"},{"key":"17_CR12","unstructured":"Gnutella, World-wide web (2007), http:\/\/www.gnutella.com"},{"key":"17_CR13","volume-title":"Improving data access in P2P systems","author":"K. Aberer","year":"2002","unstructured":"Aberer, K., et al.: Improving data access in P2P systems. IEEE Internet Computing, Los Alamitos (2002)"},{"key":"17_CR14","unstructured":"Gribble, S., et al.: What can databases do for Peer-to-Peer? In: WebDB Workshop on Databases and the Web (2001)"},{"key":"17_CR15","unstructured":"Serafini, L., et al.: The local relational model: Model and proof theory. Technical Report 0112-23, ITC-IRST (2001)"},{"key":"17_CR16","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"Ghidini, C., Giunchiglia, F.: Local models semantics or contextual reasoning = locality + compatibility. Artificial Intelligence\u00a0127, 221\u2013259 (2001)","journal-title":"Artificial Intelligence"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Towards a logical reconstruction of relational database theory. In: Brodie, M.L., Mylopoulos, J., Schmidt, J.W. (eds.) On Conceptual Modeling: Perspectives from Artificial Intelligence Databases and Programming Languages (1984)","DOI":"10.1007\/978-1-4612-5196-5_8"},{"key":"17_CR18","unstructured":"Lenzerini, M., Majki\u0107, Z.: General framework for query reformulation. Semantic Webs and Agents in Integrated Economies, D3.1, IST-2001-34825 (February 2003)"},{"key":"17_CR19","unstructured":"Franconi, E., et al.: A robust logical and computational characterization of Peer-to-Peer data systems. Technical Report DIT-03-051, University of Trento, Italy (September 2003)"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Franconi, E., et al.: A robust logical and computational characterization of Peer-to-Peer data systems. In: Proc. of the Int. Workshop On Databases, Inf.Systems and P2P Computing, Berlin, Germany (September 2003)","DOI":"10.1007\/978-3-540-24629-9_6"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Calvanese, D., et al.: Semantic data integration in P2P systems. In: Proc. of the Int. Workshop On Databases, Inf.Systems and P2P Computing, Berlin, Germany (September 2003)","DOI":"10.1007\/978-3-540-24629-9_7"},{"key":"17_CR22","series-title":"Lecture Notes in Artificial Intelligence","first-page":"7","volume-title":"Flexible Query Answering Systems","author":"Z. Majki\u0107","year":"2006","unstructured":"Majki\u0107, Z.: Flexible intentional query-answering for RDF Peer-to-Peer systems. In: Larsen, H.L., et al. (eds.) FQAS 2006. LNCS (LNAI), vol.\u00a04027, pp. 7\u201310. Springer, Heidelberg (2006)"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Calvanese, D., et al.: Logical foundations of Peer-to-Peer data integration, PODS 2004, June 14-16, Paris, France (2004)","DOI":"10.1145\/1055558.1055593"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Calvanese, D., et al.: Inconsistency tollerance in P2P data integration: an epistemic approach. In: Proc. 10th Int. Workshop on Database Programming Language (2005)","DOI":"10.1007\/11601524_6"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Majki\u0107, Z.: Intensional semantics for P2P data integration. LNCS Journal on Data Semantics VI, Special Issue on Emergent Semantics (April 15, 2006)","DOI":"10.1007\/11803034_3"},{"key":"17_CR26","unstructured":"Majki\u0107, Z.: Weakly-coupled P2P system with a network repository. In: WDAS 2004. 6th Workshop on Distributed Data and Structures, Lausanne, Switzerland, July 5-7 (2004)"},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"Majki\u0107, Z.: Massive parallelism for query answering in weakly integrated P2P systems. In: Workshop GLOBE 2004, Zaragoza, Spain, August 30-September 3 (2004)","DOI":"10.1109\/DEXA.2004.1333528"},{"key":"17_CR28","unstructured":"Montague, R.: Formal philosophy. selected papers of Richard Montague. In: Thomason, R. (ed.), Yale University Press, New Haven, London, pp. 108\u2013221 (1974)"},{"key":"17_CR29","unstructured":"Majki\u0107, Z.: Non omniscient intensional contextual reasoning for query-agents in P2P systems. In: IICAI 2007. 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19 (2007)"},{"key":"17_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S.A. Kripke","year":"1959","unstructured":"Kripke, S.A.: A completeness theorem in modal logic. The Journal of Symbolic Logic\u00a024, 1\u201314 (1959)","journal-title":"The Journal of Symbolic Logic"},{"key":"17_CR31","doi-asserted-by":"publisher","first-page":"323","DOI":"10.2307\/2964568","volume":"24","author":"S.A. Kripke","year":"1959","unstructured":"Kripke, S.A.: Semantic analisys of modal logic. The Journal of Symbolic Logic\u00a024, 323\u2013324 (1959)","journal-title":"The Journal of Symbolic Logic"},{"key":"17_CR32","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/3-540-47961-9_20","volume-title":"Advanced Information Systems Engineering","author":"Andrea Cal\u00ec","year":"2002","unstructured":"Cal\u00ec, A., et al.: Data integration under integrity constraints, pp. 262\u2013279 (2002)"},{"key":"17_CR33","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: A theoretical perspective, pp. 233\u2013246 (2002)","DOI":"10.1145\/543613.543644"},{"key":"17_CR34","doi-asserted-by":"crossref","unstructured":"Alon, Y.: Answering queries using views: A survey. \u00a010(4), 270\u2013294 (2001)","DOI":"10.1007\/s007780100054"},{"key":"17_CR35","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases (1995)"},{"key":"17_CR36","doi-asserted-by":"crossref","unstructured":"Fagin, R., et al.: DATA Exchange: Semantics and query answering (2003)","DOI":"10.1007\/3-540-36285-1_14"},{"key":"17_CR37","first-page":"58","volume-title":"IDEAS","author":"Z. Majki\u0107","year":"2005","unstructured":"Majki\u0107, Z.: Querying with negation in data integration systems. In: IDEAS. 9th International Database Engineering and Application Symposium, Montreal, Canada, July 25-27, 2005, pp. 58\u201370. IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"1","key":"17_CR38","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0022-0000(84)90081-3","volume":"28","author":"D.S. Johnson","year":"1984","unstructured":"Johnson, D.S., Klug, A.C.: Testing containment of conjunctive queries under functional and inclusion dependencies. Journal of Computer and System Sciences\u00a028(1), 167\u2013189 (1984)","journal-title":"Journal of Computer and System Sciences"},{"key":"17_CR39","doi-asserted-by":"crossref","unstructured":"Reiter, R.: On closed world data bases. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 119\u2013140 (1978)","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"17_CR40","unstructured":"Majki\u0107, Z.: Fixpoint semantics for query answering in data integration systems. In: AGP03 - 8.th Joint Conference on Declarative Programming, Reggio Calabria, pp. 135\u2013146 (2003)"},{"key":"17_CR41","doi-asserted-by":"crossref","unstructured":"Reiter, R.: What should a database know? \u00a014, 127\u2013153 (1990)","DOI":"10.1016\/0743-1066(92)90049-9"},{"key":"17_CR42","unstructured":"Majki\u0107, Z.: Weakly-coupled ontology integration of P2P database systems. In: 1st Int. Workshop on Peer-to-Peer Knowledge Management (P2PKM), Boston, USA, August 22 (2004)"},{"key":"17_CR43","unstructured":"Majki\u0107, Z.: Intensional logic and epistemic independency of intelligent database agents. In: WSPI 2005. 2nd International Workshop on Philosophy and Informatics, Kaiserslautern, Germany, April 10-13 (2005)"},{"key":"17_CR44","unstructured":"Levesque, H.J.: All I know: A study in autoepistemic logic 42, 263\u2013310 (1990)"},{"key":"17_CR45","doi-asserted-by":"crossref","unstructured":"Halevy, A.Y.: Theory of answering queries using views 29(4), 40\u201347 (2000)","DOI":"10.1145\/369275.369284"},{"key":"17_CR46","doi-asserted-by":"crossref","unstructured":"Prior, A.: Past, Present, and Future (1967)","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"17_CR47","first-page":"171","volume":"12","author":"R. Bull","year":"1970","unstructured":"Bull, R.: An approach to tense logic. Theoria\u00a012, 171\u2013182 (1970)","journal-title":"Theoria"},{"key":"17_CR48","doi-asserted-by":"crossref","unstructured":"Passy, S., Tinchev, T.: An essay in combinatory dynamic logic. \u00a093, 263\u2013332 (1991)","DOI":"10.1016\/0890-5401(91)90026-X"},{"key":"17_CR49","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P. Blackburn","year":"2000","unstructured":"Blackburn, P.: Representation, reasoning, and relational structures: A hybrid logic manifesto. Methods for Modalities 1, Logic Journal of the IGPL\u00a08, 339\u2013365 (2000)","journal-title":"Methods for Modalities 1, Logic Journal of the IGPL"},{"key":"17_CR50","doi-asserted-by":"crossref","unstructured":"Gabbay, D.: An irreflexivity lemma. In: Monnich, U. (ed.) Aspects of Philosophical Logic, Riedel, pp. 67\u201389 (1981)","DOI":"10.1007\/978-94-009-8384-7_3"},{"key":"17_CR51","doi-asserted-by":"publisher","first-page":"201","DOI":"10.2307\/2273727","volume":"44","author":"K. Fine","year":"1979","unstructured":"Fine, K.: Failures of the interpolation lemma in quantified modal logic. Journal of Symbolic Logic\u00a044, 201\u2013206 (1979)","journal-title":"Journal of Symbolic Logic"},{"key":"17_CR52","unstructured":"Arces, C., Blackburn, P., Marx, M.: Reparing the interpolation theorem in quantified modal logic (2001), available at http:\/\/www.hylo.net"},{"key":"17_CR53","unstructured":"Areces, C., Blackburn, P., Marx, M.: Hybrid logics: Characterization, interpolation and complexity. Tecn.Rep. CLAUS-Report 104, Universitat des Saarlandes (1999)"}],"container-title":["Studies in Fuzziness and Soft Computing","Soft Computing Applications in Industry"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77465-5_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,16]],"date-time":"2023-05-16T09:07:03Z","timestamp":1684228023000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77465-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540774648","9783540774655"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77465-5_17","relation":{},"subject":[]}}