{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:59:21Z","timestamp":1725569961670},"publisher-location":"Berlin, Heidelberg","reference-count":2,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425939"},{"type":"electronic","value":"9783540454021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45402-0_35","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T22:10:11Z","timestamp":1290204611000},"page":"420-423","source":"Crossref","is-referenced-by-count":1,"title":["psmodels: Stable Models Based on Pertinence"],"prefix":"10.1007","author":[{"given":"Ram\u00f3n P.","family":"Otero","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,17]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Ilkka Niemel\u00e4 and Patrick Simons. Smodels-an implementation of the stable model and well-founded semantics for normal logic programs. In Proc. of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 97, LNAI 1265, pages 420\u2013429, 1997. 422","DOI":"10.1007\/3-540-63255-7_32"},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"Ram\u00f3n P. Otero. A pertinence logic characterization of stable models (preliminary report). In A. Provetti and T. C. Son, editors, Answer Set Programming-AAAI Spring 2001 Symposium, pages 153\u2013159, Stanford, CA, 2001. 420, 421, 422","DOI":"10.1007\/3-540-45402-0_35"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45402-0_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T11:43:46Z","timestamp":1559821426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45402-0_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425939","9783540454021"],"references-count":2,"URL":"https:\/\/doi.org\/10.1007\/3-540-45402-0_35","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}