{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:49:58Z","timestamp":1725490198082},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746089"},{"type":"electronic","value":"9783540746102"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74610-2_40","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T02:33:31Z","timestamp":1187922811000},"page":"449-450","source":"Crossref","is-referenced-by-count":4,"title":["Computing Fuzzy Answer Sets Using dlvhex"],"prefix":"10.1007","author":[{"given":"Davy","family":"Van Nieuwenborgh","sequence":"first","affiliation":[]},{"given":"Martine","family":"De Cock","sequence":"additional","affiliation":[]},{"given":"Dirk","family":"Vermeir","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3-4","key":"40_CR1","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01536399","volume":"15","author":"T. Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: On the computational cost of disjunctive logic programming: Propositional case. Annals of Mathematics and Artificial Intelligence\u00a015(3-4), 289\u2013323 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"40_CR2","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 90\u201396 (2005)"},{"issue":"1-2","key":"40_CR3","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1017\/S1471068405002577","volume":"6","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Polleres, A.: Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications. Theory and Practice of Logic Programming\u00a06(1-2), 23\u201360 (2006)","journal-title":"Theory and Practice of Logic Programming"},{"key":"40_CR4","unstructured":"Van Nieuwenborgh, D., De Cock, M., Vermeir, D.: An introduction to fuzzy answer set programming. In: AMAI (accepted for publication)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74610-2_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T22:36:01Z","timestamp":1550874961000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74610-2_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540746089","9783540746102"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74610-2_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}