{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:44:21Z","timestamp":1725522261221},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540899815"},{"type":"electronic","value":"9783540899822"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89982-2_61","type":"book-chapter","created":{"date-parts":[[2008,12,14]],"date-time":"2008-12-14T22:09:15Z","timestamp":1229292555000},"page":"703-707","source":"Crossref","is-referenced-by-count":4,"title":["Logic Engines as Interactors"],"prefix":"10.1007","author":[{"given":"Paul","family":"Tarau","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"61_CR1","unstructured":"Tarau, P.: Logic Engines as Interactors (2008), \n                      \n                        http:\/\/arXiv.org\/abs\/0808.0556"},{"key":"61_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/3540608052_77","volume-title":"ATAL","author":"J. Mayfield","year":"1996","unstructured":"Mayfield, J., Labrou, Y., Finin, T.W.: Evaluation of KQML as an Agent Communication Language. In: Wooldridge, M., M\u00fcller, J.P., Tambe, M. (eds.) ATAL 1996. LNCS, vol.\u00a01037, pp. 347\u2013360. Springer, Heidelberg (1996)"},{"key":"61_CR3","unstructured":"Tarau, P.: Orthogonal Language Constructs for Agent Oriented Logic Programming. In: Carro, M., Morales, J.F. (eds.) Proceedings of CICLOPS 2004, Fourth Colloquium on Implementation of Constraint and Logic Programming Systems, Saint-Malo, France (September 2004)"},{"key":"61_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-540-27775-0_46","volume-title":"Logic Programming","author":"P. Tarau","year":"2004","unstructured":"Tarau, P.: Agent Oriented Logic Programming Constructs in Jinni 2004. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 477\u2013478. Springer, Heidelberg (2004)"},{"key":"61_CR5","unstructured":"Tarau, P.: The Jinni Prolog Compiler: a fast and flexible Prolog-in-Java (2008), \n                      \n                        http:\/\/www.binnetcorp.com\/download\/jinnidemo\/JinniUserGuide.html"},{"key":"61_CR6","unstructured":"Tarau, P.: BinProlog 11.x Professional Edition: Advanced BinProlog Programming and Extensions Guide. Technical report, BinNet Corp. (2006)"},{"key":"61_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Computational Logic - CL 2000","author":"P. Tarau","year":"2000","unstructured":"Tarau, P.: Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS, vol.\u00a01861. Springer, Heidelberg (2000)"},{"key":"61_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"CLU Reference Manual","author":"B. Liskov","year":"1981","unstructured":"Liskov, B., Atkinson, R.R., Bloom, T., Moss, J.E.B., Schaffert, C., Scheifler, R., Snyder, A.: CLU Reference Manual. LNCS, vol.\u00a0114. Springer, Heidelberg (1981)"},{"key":"61_CR9","first-page":"283","volume-title":"POPL","author":"J. Liu","year":"2006","unstructured":"Liu, J., Kimball, A., Myers, A.C.: Interruptible iterators. In: Morrisett, J.G., Jones, S.L.P. (eds.) POPL, pp. 283\u2013294. ACM, New York (2006)"},{"key":"61_CR10","first-page":"279","volume-title":"Constructing Logic Programs","author":"P. Tarau","year":"1993","unstructured":"Tarau, P., Boyer, M.: Nonstandard Answers of Elementary Logic Programs. In: Jacquet, J. (ed.) Constructing Logic Programs, pp. 279\u2013300. J. Wiley, Chichester (1993)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89982-2_61","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T06:56:01Z","timestamp":1551682561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89982-2_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540899815","9783540899822"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89982-2_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}