{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:24Z","timestamp":1747548324187},"reference-count":0,"publisher":"Cambridge University Press (CUP)","issue":"6","license":[{"start":{"date-parts":[[2002,11,13]],"date-time":"2002-11-13T00:00:00Z","timestamp":1037145600000},"content-version":"unspecified","delay-in-days":12,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2002,11]]},"abstract":"<jats:p>At present, the search for specific information on the World Wide Web is faced with \nseveral problems, which arise on the one hand from the vast number of information sources \navailable, and on the other hand, from their intrinsic heterogeneity, since standards are \nmissing. A promising approach for solving the complex problems emerging in this context \nis the use of multi-agent systems of information agents, which cooperatively solve advanced \ninformation-retrieval problems. This requires advanced capabilities to address complex tasks, \nsuch as search and assessment of information sources, query planning, information merging \nand fusion, dealing with incomplete information, and handling of inconsistency. In this \npaper, our interest lies in the role which some methods from the field of declarative logic \nprogramming can play in the realization of reasoning capabilities for information agents. In \nparticular, we are interested to see how they can be used, extended, and further developed \nfor the specific needs of this application domain. We review some existing systems and \ncurrent projects, which typically address information-integration problems. We then focus \non declarative knowledge-representation methods, and review and evaluate approaches and \nmethods from logic programming and nonmonotonic reasoning for information agents. We \ndiscuss advantages and drawbacks, and point out the possible extensions and open issues.<\/jats:p>","DOI":"10.1017\/s1471068402001576","type":"journal-article","created":{"date-parts":[[2002,11,18]],"date-time":"2002-11-18T11:33:55Z","timestamp":1037619235000},"page":"645-709","source":"Crossref","is-referenced-by-count":5,"title":["Using methods of declarative logic \nprogramming for intelligent information agents"],"prefix":"10.1017","volume":"2","author":[{"given":"THOMAS","family":"EITER","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MICHAEL","family":"FINK","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"GIULIANA","family":"SABBATINI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HANS","family":"TOMPITS","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2002,11,13]]},"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068402001576","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T00:24:21Z","timestamp":1557188661000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068402001576\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":0,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["S1471068402001576"],"URL":"https:\/\/doi.org\/10.1017\/s1471068402001576","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}