{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T22:36:32Z","timestamp":1777415792070,"version":"3.51.4"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2000,10,1]],"date-time":"2000-10-01T00:00:00Z","timestamp":970358400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,10,1]],"date-time":"2000-10-01T00:00:00Z","timestamp":970358400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[2000,10]]},"DOI":"10.1023\/a:1018904206062","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"127-168","source":"Crossref","is-referenced-by-count":1,"title":["Foundations of distributed interaction systems"],"prefix":"10.1007","volume":"28","author":[{"given":"Marat","family":"Fayzullin","sequence":"first","affiliation":[]},{"given":"Mirco","family":"Nanni","sequence":"additional","affiliation":[]},{"given":"Dino","family":"Pedreschi","sequence":"additional","affiliation":[]},{"given":"V.S.","family":"Subrahmanian","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"325561_CR1","unstructured":"S. Adali, K.S. Candan, Y. Papakonstantinou and V. Subrahmanian, Query processing in distributed mediated systems, in: ACM SIGMOD Conference on Management of Data, Montreal, Canada (June 1996)."},{"key":"325561_CR2","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1142\/S0218215793000071","volume":"2","author":"Y. Arens","year":"1993","unstructured":"Y. Arens, C. Chee, C. Hsu and C. Knoblock, Retrieving and integrating data from multiple information sources, International Journal of Intelligent Cooperative Information Systems 2 (1993) 127-158.","journal-title":"International Journal of Intelligent Cooperative Information Systems"},{"key":"325561_CR3","unstructured":"M. Baldoni, L. Giordano, A. Martelli and V. Patti, A modal programming language for representing complex actions, Manuscript (1998)."},{"key":"325561_CR4","first-page":"132","volume-title":"Workshop on Non Monotonic Extensions of Logic Programming at ICLP '96","author":"M. Baldoni","year":"1998","unstructured":"M. Baldoni, L. Giordano, A. Martelli and V. Patti, An abductive proof procedure for reasoning about actions in modal logic programming, in: Workshop on Non Monotonic Extensions of Logic Programming at ICLP '96, Lecture Notes in Artificial Intelligence, Vol. 1216 (Springer, Berlin, 1998) pp. 132-150."},{"key":"325561_CR5","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0743-1066(96)00141-0","volume":"31","author":"C. Baral","year":"1997","unstructured":"C. Baral, M. Gelfond and A. Provetti, Representing actions: Laws, observations, and hypothesis, Journal of Logic Programming 31 (1997) 201-243.","journal-title":"Journal of Logic Programming"},{"key":"325561_CR6","unstructured":"C. Baral and M. Gelfond, Representing concurrent actions in extended logic programming, in: Proc. of 13th Int. Joint Conf. on Artificial Intelligence (1993) pp. 866-871."},{"key":"325561_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19\/20","author":"C. Baral","year":"1994","unstructured":"C. Baral and M. Gelfond, Logic programming and knowledge representation, Journal of Logic Programming 19\/20 (1994) 73-148.","journal-title":"Journal of Logic Programming"},{"key":"325561_CR8","unstructured":"S. Chawathe, H. Garcia-Molina, J. Hammer, K. Ireland, Y. Papakonstantinou, J. Ullman and J. Widom, The TSIMMIS project: Integration of heterogeneous information sources, in: Proceedings of the 10th Meeting of the Information Processing Society of Japan (IPSJ), Tokyo, Japan (October 1994) pp. 7-28."},{"key":"325561_CR9","doi-asserted-by":"crossref","unstructured":"T. Eiter, V.S. Subrahmanian and G. Pick, Heterogeneous active agents, I: Semantics, Artificial Intelligence 108(1-2) 179-255.","DOI":"10.1016\/S0004-3702(99)00005-3"},{"issue":"1","key":"325561_CR10","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/S0004-3702(99)00104-6","volume":"117","author":"T. Eiter","year":"2000","unstructured":"T. Eiter, V.S. Subrahmanian and T.J. Rogers, Heterogeneous active agents, III: Polynomially implementable agents, Artificial Intelligence 117(1) (2000) 107-167.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"325561_CR11","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"M. Gelfond and V. Lifschitz, Representing actions and change by logic programs, The Journal of Logic Programming 17(2) (1993) 301-323.","journal-title":"The Journal of Logic Programming"},{"key":"325561_CR12","unstructured":"L. Haas, D. Kossmann, E. Wimmers and J. Yang, Optimizing queries across diverse data sources, in: Proc. of 1997 Int. Conf. on Very Large Databases, Athens, Greece (1997)."},{"key":"325561_CR13","unstructured":"F. Hillier and G. Lieberman, Operations Research (Holden-Day, 1974)."},{"key":"325561_CR14","volume-title":"Readings in Agents","year":"1997","unstructured":"M. Huhns and M. Singh (eds.), Readings in Agents (Morgan Kaufmann, San Mateo, CA, 1997)."},{"key":"325561_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"J.W. Lloyd, Foundations of Logic Programming (Springer, Berlin, 1987)."},{"issue":"5","key":"325561_CR16","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1109\/69.542029","volume":"8","author":"J. Lu","year":"1996","unstructured":"J. Lu, A. Nerode and V. Subrahmanian, Hybrid knowledge bases, IEEE Transactions on Knowledge and Data Engineering 8(5) (1996) 773-785.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"4","key":"325561_CR17","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/BF03037076","volume":"3","author":"S. Rosenschein","year":"1985","unstructured":"S. Rosenschein, Formal theories of knowledge in AI and robotics, New Generation Computing 3(4) (1985) 345-357.","journal-title":"New Generation Computing"},{"issue":"2","key":"325561_CR18","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/176567.176571","volume":"19","author":"V. Subrahmanian","year":"1994","unstructured":"V. Subrahmanian, Amalgamating knowledge bases, ACM Transactions on Database Systems 19(2) (1994) 291-331.","journal-title":"ACM Transactions on Database Systems"},{"key":"325561_CR19","doi-asserted-by":"crossref","unstructured":"L. Tomasic, L. Raschid and P. Valduriez, Scaling access to distributed heterogeneous data sources with disco, IEEE Transactions on Knowledge and Data Engineering (1998).","DOI":"10.1109\/69.729736"},{"key":"325561_CR20","doi-asserted-by":"crossref","unstructured":"G. Wiederhold, Intelligent integration of information, in: ACM SIGMOD Conf. on Management of Data (1993) pp. 434-437.","DOI":"10.1145\/170035.170118"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018904206062.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018904206062\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018904206062.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:39:40Z","timestamp":1747546780000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018904206062"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,10]]},"references-count":20,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2000,10]]}},"alternative-id":["325561"],"URL":"https:\/\/doi.org\/10.1023\/a:1018904206062","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,10]]}}}