{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:56:55Z","timestamp":1761598615244,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642301568"},{"type":"electronic","value":"9783642301575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30157-5_75","type":"book-chapter","created":{"date-parts":[[2012,5,14]],"date-time":"2012-05-14T18:31:06Z","timestamp":1337020266000},"page":"755-764","source":"Crossref","is-referenced-by-count":0,"title":["A High Level Approach to Web Content Verification"],"prefix":"10.1007","author":[{"given":"Liliana","family":"Alexandre","sequence":"first","affiliation":[]},{"given":"Jorge","family":"Coelho","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"75_CR1","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1002\/stvr.401","volume":"19","author":"M.H. Alalfi","year":"2009","unstructured":"Alalfi, M.H., Cordy, J.R., Dean, T.R.: Modelling methods for web application verification and testing: state of the art. Softw. Test. Verif. Reliab.\u00a019(4), 265\u2013296 (2009)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"75_CR2","doi-asserted-by":"crossref","unstructured":"Alexandre, L., Coelho, J.: Filtering xml content for publication and presentation on the web. In: ICDIM, pp. 85\u201389. IEEE (2011)","DOI":"10.1109\/ICDIM.2011.6093342"},{"key":"75_CR3","unstructured":"Alexandre, L., Coelho, J.: Xcentric-based visual approach to web content verification. In: Sim\u00f5es, A. (ed.) Proceedings of 9th XML, Associated Technologies and Applications, pp. 71\u201382. Escola Superior de Estudos Industriais e de Gest\u00e3o, Vila do Conde (2011)"},{"key":"75_CR4","doi-asserted-by":"crossref","unstructured":"Alpuente, M., Ballis, D., Falaschi, M.: A Rewriting-based Framework for Web Sites Verification. Electronic Notes in Theoretical Computer Science, pp. 41\u201361. Elsevier Science (2005)","DOI":"10.1016\/j.entcs.2004.07.014"},{"issue":"6","key":"75_CR5","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1007\/s10009-006-0009-7","volume":"8","author":"M. Alpuente","year":"2006","unstructured":"Alpuente, M., Ballis, D., Falaschi, M.: Rule-based verification of web sites. STTT\u00a08(6), 565\u2013585 (2006)","journal-title":"STTT"},{"key":"75_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/3-540-36560-5_22","volume-title":"Web, Web-Services, and Database Systems","author":"F. Bry","year":"2003","unstructured":"Bry, F., Schaffert, S.: The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. In: Chaudhri, A.B., Jeckle, M., Rahm, E., Unland, R. (eds.) NODe-WS 2002. LNCS, vol.\u00a02593, pp. 295\u2013310. Springer, Heidelberg (2003)"},{"key":"75_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/3-540-45619-8_18","volume-title":"Logic Programming","author":"F. Bry","year":"2002","unstructured":"Bry, F., Schaffert, S.: Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, pp. 255\u2013270. Springer, Heidelberg (2002)"},{"key":"75_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1098","DOI":"10.1007\/978-3-540-30469-2_17","volume-title":"On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE","author":"J. Coelho","year":"2004","unstructured":"Coelho, J., Florido, M.: CLP(Flex): Constraint Logic Programming Applied to XML Processing. In: Meersman, R. (ed.) OTM 2004. LNCS, vol.\u00a03291, pp. 1098\u20131112. Springer, Heidelberg (2004)"},{"key":"75_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11610496_20","volume-title":"Advanced Web and Network Technologies, and Applications","author":"J. Coelho","year":"2006","unstructured":"Coelho, J., Florido, M.: VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. In: Shen, H.T., Li, J., Li, M., Ni, J., Wang, W. (eds.) APWeb Workshops 2006. LNCS, vol.\u00a03842, pp. 148\u2013156. Springer, Heidelberg (2006)"},{"key":"75_CR10","doi-asserted-by":"crossref","unstructured":"Coelho, J., Florido, M.: Type-based static and dynamic website verification. In: The Second International Conference on Internet and Web Applications and Services. IEEE Computer Society (2007)","DOI":"10.1109\/ICIW.2007.67"},{"key":"75_CR11","doi-asserted-by":"crossref","unstructured":"Coelho, J., Florido, M.: XCentric: logic programming for XML processing. In: ACM International Workshop on Web Information and Data Management (WIDM 2007), pp. 1\u20138 (2007)","DOI":"10.1145\/1316902.1316904"},{"key":"75_CR12","doi-asserted-by":"crossref","unstructured":"Despeyroux, T.: Practical semantic analysis of web sites and documents. In: Feldman, S.I., Uretsky, M., Najork, M., Wills, C.E. (eds.) WWW, pp. 685\u2013693. ACM (2004)","DOI":"10.1145\/988672.988766"},{"key":"75_CR13","unstructured":"Foundation, W.: Wikipedia: Multilingual, web-based, free content encyclopedia project (2011) World Wide Web, http:\/\/www.wikipedia.org\/"},{"key":"75_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-540-48765-4_29","volume-title":"Multiple Approaches to Intelligent Systems","author":"F. Harmelen van","year":"1999","unstructured":"van Harmelen, F., van der Meer, J.: WebMaster: Knowledge-Based Verification of Web-Pages. In: Imam, I., Kodratoff, Y., El-Dessouki, A., Ali, M. (eds.) IEA\/AIE 1999. LNCS (LNAI), vol.\u00a01611, pp. 256\u2013265. Springer, Heidelberg (1999)"},{"key":"75_CR15","doi-asserted-by":"crossref","unstructured":"Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing simulations on finite and infinite graphs. In: FOCS, pp. 453\u2013462 (1995)","DOI":"10.1109\/SFCS.1995.492576"},{"key":"75_CR16","unstructured":"Kutsia, T.: Context sequence matching for XML. In: Proceedings of the 1st Int. Workshop on Automated Specification and Verification of Web Sites (2005)"},{"key":"75_CR17","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer (1987)","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"6","key":"75_CR18","first-page":"691","volume":"9","author":"P. Mancarella","year":"2009","unstructured":"Mancarella, P., Terreni, G., Sadri, F., Toni, F., Endriss, U.: The ciff proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. TPLP\u00a09(6), 691\u2013750 (2009)","journal-title":"TPLP"},{"key":"75_CR19","doi-asserted-by":"crossref","unstructured":"Mancarella, P., Terreni, G., Toni, F.: Web sites repairing through abduction. Electr. Notes Theor. Comput. Sci, vol.\u00a0235, pp. 137\u2013152 (2009)","DOI":"10.1016\/j.entcs.2009.03.009"},{"key":"75_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-48054-4_6","volume-title":"Conceptual Modeling ER\u201999","author":"E. Mayol","year":"1999","unstructured":"Mayol, E., Teniente, E.: A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., M\u00e9tais, E. (eds.) ER 1999. LNCS, vol.\u00a01728, pp. 62\u201373. Springer, Heidelberg (1999)"},{"key":"75_CR21","unstructured":"Microsoft: The C# Language (2011), http:\/\/msdn.microsoft.com\/en-us\/vcsharp\/aa336809.aspx"},{"key":"75_CR22","unstructured":"Uwe Lesta, S.S.G.: A CSharp class library to connect. NET languages with SWI-Prolog (2011) World Wide Web, http:\/\/www.lesta.de\/prolog\/swiplcs\/Generated\/Help\/introduction.htm"},{"key":"75_CR23","unstructured":"W3C: XML Schema (2010) World Wide Web, http:\/\/www.w3.org\/XML\/Schema\/"},{"key":"75_CR24","doi-asserted-by":"crossref","unstructured":"Wielemaker, J.: SWI Prolog. WWW (2011), http:\/\/www.swi-prolog.org\/","DOI":"10.1017\/S1471068411000494"},{"key":"75_CR25","unstructured":"Wikipages (2011), http:\/\/www.wikipages.com"}],"container-title":["Advances in Intelligent and Soft Computing","Advances in Computer Science, Engineering & Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30157-5_75.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:07:51Z","timestamp":1743124071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30157-5_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642301568","9783642301575"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30157-5_75","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1867-5670"}],"subject":[],"published":{"date-parts":[[2012]]}}}