{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:57:30Z","timestamp":1750309050590,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,11,9]],"date-time":"2007-11-09T00:00:00Z","timestamp":1194566400000},"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,11,9]]},"DOI":"10.1145\/1316902.1316904","type":"proceedings-article","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T15:58:50Z","timestamp":1195228730000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["XCentric"],"prefix":"10.1145","author":[{"given":"Jorge","family":"Coelho","sequence":"first","affiliation":[{"name":"Instituto Superior de Engenharia do Porto & LIACC, Porto, Portugal"}]},{"given":"Mario","family":"Florido","sequence":"additional","affiliation":[{"name":"University of Porto, Porto, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2007,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944711"},{"key":"e_1_3_2_1_2_1","volume-title":"2nd Annual International Workshop Web and Databases","volume":"2593","author":"Bry F.","year":"2002","unstructured":"F. Bry and S. Schaffert . The XML Query Language Xcerpt: Design Principles, Examples, and Semantics . In 2nd Annual International Workshop Web and Databases , volume 2593 of LNCS, 2002 . F. Bry and S. Schaffert. The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. In 2nd Annual International Workshop Web and Databases, volume 2593 of LNCS, 2002."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/645522.656309"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIW.2007.67"},{"key":"e_1_3_2_1_5_1","first-page":"93","volume-title":"PLAN-X","author":"Coelho Jorge","year":"2007","unstructured":"Jorge Coelho and M\u00e1rio Florido . Xcentric : A logic--programming language for xml processing (sofwatre demonstration) . In PLAN-X , pages 93 -- 94 , 2007 . Jorge Coelho and M\u00e1rio Florido. Xcentric: A logic--programming language for xml processing (sofwatre demonstration). In PLAN-X, pages 93--94, 2007."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/645773.668098"},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","volume-title":"Ontologies, Databases and Applications of SEmantics (ODBASE)","author":"Coelho Jorge","year":"2004","unstructured":"Jorge Coelho and M\u00e1rio Florido . CLP(Flex) : Constraint Logic Programming Applied to XML Processing . In Ontologies, Databases and Applications of SEmantics (ODBASE) , volume 3291 of LNCS . Springer Verlag , 2004 . Jorge Coelho and M\u00e1rio Florido. CLP(Flex): Constraint Logic Programming Applied to XML Processing. In Ontologies, Databases and Applications of SEmantics (ODBASE), volume 3291 of LNCS. Springer Verlag, 2004."},{"key":"e_1_3_2_1_8_1","volume-title":"Informal proceedings of the 20th International Workshop on Unification (UNIF'06)","author":"Coelho Jorge","year":"2006","unstructured":"Jorge Coelho and M\u00e1rio Florido . Unification with flexible arity symbols: a typed approach . In Informal proceedings of the 20th International Workshop on Unification (UNIF'06) , Seattle, USA , 2006 . Jorge Coelho and M\u00e1rio Florido. Unification with flexible arity symbols: a typed approach. In Informal proceedings of the 20th International Workshop on Unification (UNIF'06), Seattle, USA, 2006."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2114338.2114359"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/79204.79210"},{"key":"e_1_3_2_1_11_1","volume-title":"Types in Logic Programming","author":"Dart P.","year":"1992","unstructured":"P. Dart and J. Zobel . A regular type language for logic programs . In Frank Pfenning, editor, Types in Logic Programming . The MIT Press , 1992 . P. Dart and J. Zobel. A regular type language for logic programs. In Frank Pfenning, editor, Types in Logic Programming. The MIT Press, 1992."},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. of post-conference workshop on Proofs and Types, Joint International Conference and Symposium on Logic Programming","author":"Florido M\u00e1rio","year":"1992","unstructured":"M\u00e1rio Florido and Lu\u00eds Damas . Types as theories . In Proc. of post-conference workshop on Proofs and Types, Joint International Conference and Symposium on Logic Programming , 1992 . M\u00e1rio Florido and Lu\u00eds Damas. Types as theories. In Proc. of post-conference workshop on Proofs and Types, Joint International Conference and Symposium on Logic Programming, 1992."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1991.151654"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/962446.962450"},{"key":"e_1_3_2_1_15_1","volume-title":"Third Int. Workshop on the Web and Databases","volume":"1997","author":"Hosoya Haruo","year":"2000","unstructured":"Haruo Hosoya and Benjamin Pierce . XDuce : A typed XML processing language . In Third Int. Workshop on the Web and Databases , volume 1997 of LNCS, 2000 . Haruo Hosoya and Benjamin Pierce. XDuce: A typed XML processing language. In Third Int. Workshop on the Web and Databases, volume 1997 of LNCS, 2000."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/78935.78938"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159830"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/648168.757352"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 1th Int. Workshop on Automated Specification and Verification of Web Sites","author":"Kutsia Temur","year":"2005","unstructured":"Temur Kutsia . Context sequence matching for xml . In Proceedings of the 1th Int. Workshop on Automated Specification and Verification of Web Sites , 2005 . Temur Kutsia. Context sequence matching for xml. In Proceedings of the 1th Int. Workshop on Automated Specification and Verification of Web Sites, 2005."},{"key":"e_1_3_2_1_20_1","first-page":"77","volume-title":"Proceedings of the 19th Int. Workshop on Unification (UNIF'05)","author":"Kutsia Temur","year":"2005","unstructured":"Temur Kutsia and Mircea Marin . Can context sequence matching be used for querying xml? In Laurent Vigneron, editor , Proceedings of the 19th Int. Workshop on Unification (UNIF'05) , pages 77 -- 92 , Nara, Japan , 22 April 2005 . Temur Kutsia and Mircea Marin. Can context sequence matching be used for querying xml? In Laurent Vigneron, editor, Proceedings of the 19th Int. Workshop on Unification (UNIF'05), pages 77--92, Nara, Japan, 22 April 2005."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"Lloyd J. W.","year":"1987","unstructured":"J. W. Lloyd . Foundations of Logic Programming . Springer-Verlag , second edition, 1987 . J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987."},{"key":"e_1_3_2_1_22_1","first-page":"147","article-title":"The problem of solvability of equations in a free semigroup","volume":"103","author":"Makanin G. S.","year":"1977","unstructured":"G. S. Makanin . The problem of solvability of equations in a free semigroup . Math. Sbornik USSR , 103 : 147 -- 236 , 1977 . G. S. Makanin. The problem of solvability of equations in a free semigroup. Math. Sbornik USSR, 103:147--236, 1977.","journal-title":"Math. Sbornik USSR"},{"key":"e_1_3_2_1_23_1","unstructured":"Pillow: Programming in (Constraint) Logic Languages on the Web. http:\/\/clip.dia.fi.upm.es\/Software\/pillow\/pillow.html 2001.  Pillow: Programming in (Constraint) Logic Languages on the Web. http:\/\/clip.dia.fi.upm.es\/Software\/pillow\/pillow.html 2001."},{"key":"e_1_3_2_1_24_1","unstructured":"SWI Prolog. http:\/\/www.swi-prolog.org\/.  SWI Prolog. http:\/\/www.swi-prolog.org\/."},{"key":"e_1_3_2_1_25_1","volume-title":"http:\/\/www.w3.org\/XML\/Schema\/","author":"Schema XML","year":"2000","unstructured":"XML Schema . http:\/\/www.w3.org\/XML\/Schema\/ , 2000 . XML Schema. http:\/\/www.w3.org\/XML\/Schema\/, 2000."},{"key":"e_1_3_2_1_26_1","volume-title":"An informal survey","author":"Thatcher J. W.","year":"1973","unstructured":"J. W. Thatcher . Tree automata : An informal survey . Prentice-Hall , 1973 . J. W. Thatcher. Tree automata: An informal survey. Prentice-Hall, 1973."},{"key":"e_1_3_2_1_27_1","volume-title":"http:\/\/www.w3.org\/XML\/","author":"Extensible Markup","year":"2003","unstructured":"Extensible Markup Language (XML). http:\/\/www.w3.org\/XML\/ , 2003 . Extensible Markup Language (XML). http:\/\/www.w3.org\/XML\/, 2003."},{"key":"e_1_3_2_1_28_1","volume-title":"http:\/\/www.w3.org\/TR\/xquery-use-cases\/","author":"Cases Query Use","year":"2005","unstructured":"X Query Use Cases . http:\/\/www.w3.org\/TR\/xquery-use-cases\/ , 2005 . XQuery Use Cases. http:\/\/www.w3.org\/TR\/xquery-use-cases\/, 2005."},{"key":"e_1_3_2_1_29_1","volume-title":"http:\/\/www.w3.org\/TR\/xslt\/","author":"XSL","year":"1999","unstructured":"XSL Transformations (XSLT). http:\/\/www.w3.org\/TR\/xslt\/ , 1999 . XSL Transformations (XSLT). http:\/\/www.w3.org\/TR\/xslt\/, 1999."},{"volume-title":"http:\/\/www.cis.upenn.edu\/bcpierce\/xtatic\/","year":"2004","key":"e_1_3_2_1_30_1","unstructured":"Xtatic. http:\/\/www.cis.upenn.edu\/bcpierce\/xtatic\/ , 2004 . Xtatic. http:\/\/www.cis.upenn.edu\/bcpierce\/xtatic\/, 2004."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)80002-U"},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. of the 1987 International Conference on Logic Programming. MIT Press","author":"Zobel Justin","year":"1987","unstructured":"Justin Zobel . Derivation of polymorphic types for prolog programs . In Proc. of the 1987 International Conference on Logic Programming. MIT Press , 1987 . Justin Zobel. Derivation of polymorphic types for prolog programs. In Proc. of the 1987 International Conference on Logic Programming. MIT Press, 1987."}],"event":{"name":"CIKM07: Conference on Information and Knowledge Management","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","ACM Association for Computing Machinery","SIGIR ACM Special Interest Group on Information Retrieval"],"location":"Lisbon Portugal","acronym":"CIKM07"},"container-title":["Proceedings of the 9th annual ACM international workshop on Web information and data management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1316902.1316904","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1316902.1316904","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:29:36Z","timestamp":1750285776000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1316902.1316904"}},"subtitle":["logic programming for XML processing"],"short-title":[],"issued":{"date-parts":[[2007,11,9]]},"references-count":32,"alternative-id":["10.1145\/1316902.1316904","10.1145\/1316902"],"URL":"https:\/\/doi.org\/10.1145\/1316902.1316904","relation":{},"subject":[],"published":{"date-parts":[[2007,11,9]]},"assertion":[{"value":"2007-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}