{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:31Z","timestamp":1750307791526,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,8,25]],"date-time":"2007-08-25T00:00:00Z","timestamp":1188000000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,8,25]]},"DOI":"10.1145\/1352678.1352689","type":"proceedings-article","created":{"date-parts":[[2008,3,25]],"date-time":"2008-03-25T15:57:23Z","timestamp":1206460643000},"page":"157-182","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Forward chaining in HALO"],"prefix":"10.1145","author":[{"given":"Charlotte","family":"Herzeel","sequence":"first","affiliation":[{"name":"Vrije Universiteit Brussel"}]},{"given":"Kris","family":"Gybels","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel"}]},{"given":"Pascal","family":"Costanza","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel"}]},{"given":"Coen","family":"De Roover","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel"}]},{"given":"Theo","family":"D'Hondt","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel"}]}],"member":"320","published-online":{"date-parts":[[2007,8,25]]},"reference":[{"volume-title":"Proceedings of the European conference on Object-Oriented Programming, Springer-Verlag (Jun 1997)","author":"Kiczales G.","key":"e_1_3_2_1_1_1","unstructured":"Kiczales , G. , Lamping , J. , Mendhekar , A. , Maeda , C. , Lopes , C. V. , Loingtier , J. M. , Irwin , J. : Aspect-oriented programming . In: Proceedings of the European conference on Object-Oriented Programming, Springer-Verlag (Jun 1997) Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C. V., Loingtier, J. M., Irwin, J.: Aspect-oriented programming. In: Proceedings of the European conference on Object-Oriented Programming, Springer-Verlag (Jun 1997)"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_9"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094839"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_10"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/976270.976287"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/643603.643610"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1119655.1119684"},{"key":"e_1_3_2_1_8_1","volume-title":"CS Dept. III","author":"Windeln T.","year":"2003","unstructured":"Windeln , T. : Logicaj - eine erweiterung von aspectj um logische meta-programmierung. Diploma thesis , CS Dept. III , University of Bonn , Germany ( Aug 2003 ) Windeln, T.: Logicaj - eine erweiterung von aspectj um logische meta-programmierung. Diploma thesis, CS Dept. III, University of Bonn, Germany (Aug 2003)"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1622123.1622136"},{"key":"e_1_3_2_1_10_1","first-page":"245","author":"Bobrow D.","year":"1989","unstructured":"Bobrow , D. , DeMichiel , L. , Gabriel , R. , Keene , S. , Kiczales , G. , Moon , D. : Common lisp object system specification. Lisp and Symbolic Computation 1(3--4) ( January 1989 ) 245 -- 394 Bobrow, D., DeMichiel, L., Gabriel, R., Keene, S., Kiczales, G., Moon, D.: Common lisp object system specification. Lisp and Symbolic Computation 1(3--4) (January 1989) 245--394","journal-title":"Lisp and Symbolic Computation 1(3--4)"},{"key":"e_1_3_2_1_11_1","first-page":"68","volume-title":"IFIP Congress. (1974)","author":"Kowalski R.","year":"1986","unstructured":"Kowalski , R. : Predicate logic as programming language . In: IFIP Congress. (1974) 569--574 Reprinted in Computers for Artificial Intelligence Applications, (eds. Wah, B. and Li, G.-J.), IEEE Computer Society Press, Los Angeles , 1986 , pp. 68 -- 73 . Kowalski, R.: Predicate logic as programming language. In: IFIP Congress. (1974) 569--574 Reprinted in Computers for Artificial Intelligence Applications, (eds. Wah, B. and Li, G.-J.), IEEE Computer Society Press, Los Angeles, 1986, pp. 68--73."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/214956.214960"},{"key":"e_1_3_2_1_13_1","volume-title":"Encyclopedia of Microcomputers.","author":"Gergatsoulis M.","year":"2001","unstructured":"Gergatsoulis , M. : Temporal and modal logic programming languages . In Kent, A., Williams, J. G., eds.: Encyclopedia of Microcomputers. Volume 27 ., New York , Marcel Dekker , Inc ( 2001 ) 393--408 Gergatsoulis, M.: Temporal and modal logic programming languages. In Kent, A., Williams, J. G., eds.: Encyclopedia of Microcomputers. Volume 27., New York, Marcel Dekker, Inc (2001) 393--408"},{"key":"e_1_3_2_1_14_1","unstructured":"Bodden E.: J-LO -- A tool for runtime-checking temporal assertions. Master's thesis RWTH Aachen university (2005)  Bodden E.: J-LO -- A tool for runtime-checking temporal assertions. Master's thesis RWTH Aachen university (2005)"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the Workshop on Executable Modal and Temporal Logics","author":"Brzoska C.","year":"1993","unstructured":"Brzoska , C. : Temporal logic programming with bounded universal modality goals . In: Proceedings of the Workshop on Executable Modal and Temporal Logics , London, UK, Springer Verlag ( 1993 ) 21--39 Brzoska, C.: Temporal logic programming with bounded universal modality goals. In: Proceedings of the Workshop on Executable Modal and Temporal Logics, London, UK, Springer Verlag (1993) 21--39"},{"key":"e_1_3_2_1_16_1","volume-title":"Bobrow","author":"Kiczales G.","year":"1991","unstructured":"Kiczales , G. , des Rivi\u00e8res , J. , Bobrow , D. G. : The Art of the Metaobject Protocol. MIT Press ( 1991 ) Kiczales, G., des Rivi\u00e8res, J., Bobrow, D. G.: The Art of the Metaobject Protocol. MIT Press (1991)"},{"key":"e_1_3_2_1_17_1","volume-title":"Norvig","author":"Russell S.","year":"2003","unstructured":"Russell , S. , Norvig , P. : Artificial Intelligence: A Modern Approach. 2 nd edition edn. Prentice-Hall , Englewood Cliffs, NJ ( 2003 ) Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. 2nd edition edn. Prentice-Hall, Englewood Cliffs, NJ (2003)","edition":"2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11821946_15"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/646931.710555"},{"key":"e_1_3_2_1_20_1","unstructured":"Sittampalam G.: Abc version 1.1.1 release announcement http:\/\/abc.comlab.ox.ac.uk\/archives\/announce\/2006-Mar\/0000.html.  Sittampalam G.: Abc version 1.1.1 release announcement http:\/\/abc.comlab.ox.ac.uk\/archives\/announce\/2006-Mar\/0000.html."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11940197_2"},{"key":"e_1_3_2_1_22_1","volume-title":"Sittampalam","author":"Avgustinov P.","year":"2006","unstructured":"Avgustinov , P. , Tibble , J. , Bodden , E. , Lhotak , O. , Hendren , L. , de Moor , O. , Ongkingco , N. , Sittampalam , G. : Efficient trace monitoring. Technical Report abc- 2006 -1, ABC Group ( 2006) Avgustinov, P., Tibble, J., Bodden, E., Lhotak, O., Hendren, L., de Moor, O., Ongkingco, N., Sittampalam, G.: Efficient trace monitoring. Technical Report abc-2006-1, ABC Group (2006)"},{"key":"e_1_3_2_1_23_1","volume-title":"Int. Conf. on Information and Knowledge Management","author":"Teodosiu D.","year":"1992","unstructured":"Teodosiu , D. , Pollak , G. : Discarding unused temporal information in a production system . In: Int. Conf. on Information and Knowledge Management , Baltimore. ( 1992 ) Teodosiu, D., Pollak, G.: Discarding unused temporal information in a production system. In: Int. Conf. on Information and Knowledge Management, Baltimore. (1992)"},{"volume-title":"Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning. (2002)","author":"Berstel B.","key":"e_1_3_2_1_24_1","unstructured":"Berstel , B. : Extending the rete algorithm for event management . In: Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning. (2002) Berstel, B.: Extending the rete algorithm for event management. In: Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning. (2002)"}],"event":{"name":"ICDL '07: Proceedings of the 2007 International Conference on Dynamic Languages","acronym":"ICDL '07","location":"Lugano Switzerland"},"container-title":["Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1352678.1352689","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1352678.1352689","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:19Z","timestamp":1750254979000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1352678.1352689"}},"subtitle":["an implementation strategy for history-based logic pointcuts"],"short-title":[],"issued":{"date-parts":[[2007,8,25]]},"references-count":24,"alternative-id":["10.1145\/1352678.1352689","10.1145\/1352678"],"URL":"https:\/\/doi.org\/10.1145\/1352678.1352689","relation":{},"subject":[],"published":{"date-parts":[[2007,8,25]]},"assertion":[{"value":"2007-08-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}