{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T22:12:48Z","timestamp":1649196768770},"reference-count":6,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Comp. Intel. Appl."],"published-print":{"date-parts":[[2002,9]]},"abstract":"<jats:p> Web engines crawl hyperlinks to search for new documents; yet when they index discovered documents they basically revert to conventional information retrieval models and concentrate on the indexing of terms in a single document. <\/jats:p><jats:p> We propose to overcome such limits with an approach based on temporal logic. By modeling a web site as a finite state transition system we are able to define complex and selective queries over hyperlinks with the aid of Computation Tree Logic operators. <\/jats:p><jats:p> We deployed the proposed approach in a prototype system that allows users pose queries in natural language. Queries are automatically translated in Computation Tree Logic, and the answer returned by our system is a set of paths. Experiments carried out with the aid of human experts show improved retrieval effectiveness with respect to current search engines. <\/jats:p>","DOI":"10.1142\/s1469026802000579","type":"journal-article","created":{"date-parts":[[2002,11,18]],"date-time":"2002-11-18T10:28:06Z","timestamp":1037615286000},"page":"245-253","source":"Crossref","is-referenced-by-count":1,"title":["USING COMPUTATION TREE LOGIC FOR INTELLIGENT INFORMATION SEARCH ON THE WEB"],"prefix":"10.1142","volume":"02","author":[{"given":"EUGENIO","family":"DI SCIASCIO","sequence":"first","affiliation":[{"name":"Dipartimento di Elettrotecnica ed Elettronica,  Politecnico di Bari, Via Re David, 200 \u2014 70125 BARI, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"FRANCESCO M.","family":"DONINI","sequence":"additional","affiliation":[{"name":"Dipartimento di Elettrotecnica ed Elettronica,  Politecnico di Bari, Via Re David, 200 \u2014 70125 BARI, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MARINA","family":"MONGIELLO","sequence":"additional","affiliation":[{"name":"Dipartimento di Elettrotecnica ed Elettronica,  Politecnico di Bari, Via Re David, 200 \u2014 70125 BARI, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"p_2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(94)90046-9"},{"key":"p_3","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.3.295"},{"key":"p_7","doi-asserted-by":"publisher","DOI":"10.1145\/290593.290605"},{"key":"p_8","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4573(98)00041-7"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1145\/358923.358934"},{"key":"p_12","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00013-8"}],"container-title":["International Journal of Computational Intelligence and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S1469026802000579","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T00:26:09Z","timestamp":1565137569000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S1469026802000579"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":6,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2002,9]]}},"alternative-id":["10.1142\/S1469026802000579"],"URL":"https:\/\/doi.org\/10.1142\/s1469026802000579","relation":{},"ISSN":["1469-0268","1757-5885"],"issn-type":[{"value":"1469-0268","type":"print"},{"value":"1757-5885","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}