{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:04:00Z","timestamp":1725483840819},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439608"},{"type":"electronic","value":"9783540456322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45632-5_1","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T03:37:27Z","timestamp":1179632247000},"page":"1-40","source":"Crossref","is-referenced-by-count":6,"title":["MuTACLP: A Language for Temporal Reasoning with Multiple Theories"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Mancarella","sequence":"additional","affiliation":[]},{"given":"Alessandra","family":"Raffaet\u00e0","sequence":"additional","affiliation":[]},{"given":"Franco","family":"Turini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,17]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0747-7171(89)80070-7","volume":"8","author":"M. Abadi","year":"1989","unstructured":"M. Abadi and Z. Manna. Temporal logic programming. Journal of Symbolic Computation, 8:277\u2013295, 1989.","journal-title":"Journal of Symbolic Computation"},{"issue":"11","key":"1_CR2","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"J.F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832\u2013843, 1983.","journal-title":"Communications of the ACM"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J.F. Allen","year":"1984","unstructured":"J.F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23:123\u2013154, 1984.","journal-title":"Artificial Intelligence"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"P. Baldan, P. Mancarella, A. Raffaet\u00e0, and F. Turini. Mutaclp: A language for temporal reasoning with multiple theories. Technical report, Dipartimento di Informatica, Universit\u00e0 di Pisa, 2001.","DOI":"10.1007\/3-540-45632-5_1"},{"key":"1_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/BFb0053697","volume-title":"Temporal Databases: Research and Practice","author":"C. Bettini","year":"1998","unstructured":"C. Bettini, X. S. Wang, and S. Jajodia. An architecture for supporting interoperability among temporal databases. InS. Jajodia, and S. Sripada, editors. Temporal Databases: Research and Practice, volume 1399 of Lecture Notes in Computer Science. Springer, 1998 [13], pages 36\u201355."},{"key":"1_CR6","unstructured":"K.A. Bowen and R.A. Kowalski. Amalgamating language and metalanguage in logic programming. In K. L. Clark and S.-A. Tarnlund, editors, Logic programming, volume 16 of APIC studies in data processing, pages 153\u2013172. Academic Press, 1982."},{"key":"1_CR7","unstructured":"A. Brogi. Program Construction in Computational Logic. PhD thesis, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1993."},{"issue":"1","key":"1_CR8","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1093\/logcom\/9.1.7","volume":"9","author":"A. Brogi","year":"1999","unstructured":"A. Brogi, S. Contiero, and F. Turini. Programming by combining general logic programs. Journal of Logic and Computation, 9(1):7\u201324, 1999.","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"1_CR9","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.1145\/183432.183528","volume":"16","author":"A. Brogi","year":"1994","unstructured":"A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Modular logic programming. ACM Transactions on Programming Languages and Systems, 16(4):1361\u20131398, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"C. Brzoska. Temporal Logic Programming with Metric and Past Operators. In R. Owens, editors. Executable Modal and Temporal Logics, volume 897 of Lecture Notes in Artificial Intelligence. Springer, 1995 [14], pages 21\u201339.","DOI":"10.1007\/3-540-58976-7_2"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"J. Chomicki. Temporal Query Languages: A Survey. In Temporal Logic: Proceedings of the First International Conference, ICTL\u201994, volume 827 of Lecture Notes in Artificial Intelligence, pages 506\u2013534. Springer, 1994.","DOI":"10.1007\/BFb0014006"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"J. Chomicki and T. Imielinski. Temporal Deductive Databases and Infinite Objects. In Proceedings of ACM SIGACT\/SIGMOD Symposium on Principles of Database Systems, pages 61\u201373, 1988.","DOI":"10.1145\/308386.308416"},{"key":"1_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Temporal Databases: Research and Practice","year":"1998","unstructured":"O. Etzion, S. Jajodia, and S. Sripada, editors. Temporal Databases: Research and Practice, volume 1399 of Lecture Notes in Computer Science. Springer, 1998."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"M. Fisher and R. Owens, editors. Executable Modal and Temporal Logics, volume 897 of Lecture Notes in Artificial Intelligence. Springer, 1995.","DOI":"10.1007\/3-540-58976-7"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1006\/jsco.1996.0066","volume":"22","author":"T. Fr\u00fchwirth","year":"1996","unstructured":"T. Fr\u00fchwirth. Temporal Annotated Constraint Logic Programming. Journal of Symbolic Computation, 22:555\u2013583, 1996.","journal-title":"Journal of Symbolic Computation"},{"key":"1_CR16","unstructured":"D. M. Gabbay. Modal and temporal logic programming. In[18], pages 197\u2013237."},{"key":"1_CR17","unstructured":"D.M. Gabbay and P. McBrien. Temporal Logic & Historical Databases. In Proceedings of the Seventeenth International Conference on Very Large Databases, pages 423\u2013430, 1991."},{"key":"1_CR18","unstructured":"A. Galton, editor. Temporal Logics and Their Applications. Academic Press, 1987."},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0004-3702(90)90053-3","volume":"42","author":"A. Galton","year":"1990","unstructured":"A. Galton. A Critical Examination of Allen\u2019s Theory of Action and Time. Artificial Intelligence, 42:159\u2013188, 1990.","journal-title":"Artificial Intelligence"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"S. Grumbach, P. Rigaux, and L. Segoufin. The DEDALE system for complex spatial queries. In Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD-98), pages 213\u2013224, 1998.","DOI":"10.1145\/276304.276324"},{"issue":"1& 2","key":"1_CR21","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0743-1066(93)90016-A","volume":"15","author":"T. Hrycej","year":"1993","unstructured":"T. Hrycej. A temporal extension of Prolog. Journal of Logic Programming, 15(1& 2):113\u2013145, 1993.","journal-title":"Journal of Logic Programming"},{"key":"1_CR22","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M.J. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, 19 & 20:503\u2013582, 1994.","journal-title":"Journal of Logic Programming"},{"issue":"1\u20133","key":"1_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(98)10002-X","volume":"37","author":"J. Jaffar","year":"1998","unstructured":"J. Jaffar, M.J. Maher, K. Marriott, and P.J. Stuckey. The Semantics of Constraint Logic Programs. Journal of Logic Programming, 37(1\u20133):1\u201346, 1998.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"1_CR24","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"J. Jaffar, S. Michaylov, P. Stuckey, and R. Yap. The CLP(R) Language and System. ACM Transactions on Programming Languages and Systems, 14(3):339\u2013395, 1992.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"1_CR25","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1006\/jcss.1995.1051","volume":"51","author":"P.C. Kanellakis","year":"1995","unstructured":"P.C. Kanellakis, G.M. Kuper, and P.Z. Revesz. Constraint query languages. Journal of Computer and System Sciences, 51(1):26\u201352, 1995.","journal-title":"Journal of Computer and System Sciences"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"M. Kifer and V.S. Subrahmanian. Theory of Generalized Annotated Logic Programming and its Applications. Journal of Logic Programming, 12:335\u2013367, 1992.","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"1_CR27","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0306-4379(94)90008-6","volume":"19","author":"M. Koubarakis","year":"1994","unstructured":"M. Koubarakis. Database models for infinite and indefinite temporal information. Information Systems, 19(2):141\u2013173, 1994.","journal-title":"Information Systems"},{"issue":"1","key":"1_CR28","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. A. Kowalski","year":"1986","unstructured":"R. A. Kowalski and M.J. Sergot. A Logic-based Calculus of Events. New Generation Computing, 4(1):67\u201395, 1986.","journal-title":"New Generation Computing"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"R.A. Kowalski and J.S. Kim. A metalogic programming approach to multi-agent knowledge and belief. In Artificial Intelligence and Mathematical Theory of Computation. Academic Press, 1991.","DOI":"10.1016\/B978-0-12-450010-5.50019-0"},{"key":"1_CR30","unstructured":"S.M. Leach and J.J. Lu. Computing Annotated Logic Programs. In Proceedings of the eleventh International Conference on Logic Programming, pages 257\u2013271, 1994."},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"P. Mancarella, G. Nerbini, A. Raffaet\u00e0, and F. Turini. MuTACLP: A language for declarative GIS analysis. In Proceedings of the Sixth International Conference on Rules and Objects in Databases (DOOD2000), volume 1861 of Lecture Notes in Artificial Intelligence, pages 1002\u20131016. Springer, 2000.","DOI":"10.1007\/3-540-44957-4_67"},{"key":"1_CR32","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1080\/095281399146616","volume":"11","author":"P. Mancarella","year":"1999","unstructured":"P. Mancarella, A. Raffaet\u00e0, and F. Turini. Knowledge Representation with Multiple Logical Theories and Time. Journal of Experimental and Theoretical Artificial Intelligence, 11:47\u201376, 1999.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"P. Mancarella, A. Raffaet\u00e0, and F. Turini. Temporal Annotated Constraint Logic Programming with Multiple Theories. In Tenth International Workshop on Database and Expert Systems Applications, pages 501\u2013508. IEEE Computer Society Press, 1999.","DOI":"10.1109\/DEXA.1999.795234"},{"issue":"1","key":"1_CR34","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0743-1066(94)00015-X","volume":"22","author":"B. Martens","year":"1995","unstructured":"B. Martens and D. De Schreye. Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem. Journal of Logic Programming, 22(1):47\u201399, 1995.","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"1_CR35","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1111\/j.1467-8640.1996.tb00261.x","volume":"12","author":"M. A. Orgun","year":"1996","unstructured":"M. A. Orgun. On temporal deductive databases. Computational Intelligence, 12(2):235\u2013259, 1996.","journal-title":"Computational Intelligence"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"M. A. Orgun and W. Ma. An Overview of Temporal and Modal Logic Programming. In Temporal Logic: Proceedings of the First International Conference, ICTL\u201994, volume 827 of Lecture Notes in Artificial Intelligence, pages 445\u2013479. Springer, 1994.","DOI":"10.1007\/BFb0014004"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"J. Paredaens, J. Van den Bussche, and D. Van Gucht. Towards a theory of spatial database queries. In Proceedings of the 13th ACM Symposium on Principles of Database Systems, pages 279\u2013288, 1994.","DOI":"10.1145\/182591.182640"},{"key":"1_CR38","unstructured":"A. Raffaet\u00e0. Spatio-temporal knowledge bases in a constraint logic programming framework with multiple theories. PhD thesis, Dipartimento di Informatica, Universit\u00e0 di Pisa, 2000."},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"A. Raffaet\u00e0 and T. Fr\u00fchwirth. Semantics for Temporal Annotated Constraint Logic Programming. In Labelled Deduction, volume 17 of Applied Logic Series, pages 215\u2013243. Kluwer Academic, 2000.","DOI":"10.1007\/978-94-011-4040-9_9"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"A. Raffaet\u00e0 and C. Renso. Temporal Reasoning in Geographical Information Systems. In International Workshop on Advanced Spatial Data Management (DEXA Workshop), pages 899\u2013905. IEEE Computer Society Press, 2000.","DOI":"10.1109\/DEXA.2000.875133"},{"issue":"5","key":"1_CR41","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"M. J. Sergot","year":"1986","unstructured":"M. J. Sergot, F. Sadri, R. A. Kowalski, F. Kriwaczek, P. Hammond, and H. T. Cory. The British Nationality Act as a logic program. Communications of the ACM, 29(5):370\u2013386, 1986.","journal-title":"Communications of the ACM"},{"key":"1_CR42","unstructured":"S. Sripada and P. M\u00f6ller. The Generalized ChronoBase Temporal Data Model. In Meta-logics and Logic Programming, pages 310\u2013335. MIT Press, 1995."},{"key":"1_CR43","unstructured":"S.M. Sripada. A logical framework for temporal deductive databases. In Proceedings of the Very Large Databases Conference, pages 171\u2013182, 1988."},{"key":"1_CR44","unstructured":"S.M. Sripada. Temporal Reasoning in Deductive Databases. PhD thesis, Department of Computing Imperial College of Science & Technology, 1991."},{"issue":"2","key":"1_CR45","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/176567.176571","volume":"19","author":"V. S. Subrahmanian","year":"1994","unstructured":"V. S. Subrahmanian. Amalgamating Knowledge Bases. ACM Transactions on Database Systems, 19(2):291\u2013331, 1994.","journal-title":"ACM Transactions on Database Systems"},{"key":"1_CR46","unstructured":"A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass editors. Temporal Databases: Theory, Design, and Implementation. Benjamin\/Cummings, 1993."},{"key":"1_CR47","series-title":"Lect Notes Comput Sci","volume-title":"International conference on Deductive and Object-Oriented Databases (DOOD\u201993)","author":"C. Zaniolo","year":"1993","unstructured":"C. Zaniolo, N. Arni, and K. Ong. Negation and aggregates in recursive rules: The LDL++ Approach. In International conference on Deductive and Object-Oriented Databases (DOOD\u201993), volume 760 of Lecture Notes in Computer Science. Springer, 1993."}],"container-title":["Lecture Notes in Computer Science","Computational Logic: Logic Programming and Beyond"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45632-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T01:58:37Z","timestamp":1556416717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45632-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439608","9783540456322"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/3-540-45632-5_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}