{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:59:08Z","timestamp":1725569948595},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_20","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T22:10:11Z","timestamp":1290204611000},"page":"267-280","source":"Crossref","is-referenced-by-count":21,"title":["Omega-Restricted Logic Programs"],"prefix":"10.1007","author":[{"given":"Tommi","family":"Syrj\u00e4nen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,17]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19-20","author":"K. R. Apt","year":"1994","unstructured":"K. R. Apt and R. Bol. Logic programming and negation: A survey. Journal of Logic Programming, 19-20:9\u201371, 1994. 268, 271","journal-title":"Journal of Logic Programming"},{"key":"20_CR2","unstructured":"Piero A. Bonatti. Resoning with infinite stable models. In Proceedings of the 17th International Joint Conference on Artificial Intelligence, August 2001. 268"},{"key":"20_CR3","first-page":"518","volume-title":"KR\u201996: Principles of Knowledge Representation and Reasoning","author":"P. Cholewi\u0144ski","year":"1996","unstructured":"Pawe\u0142 Cholewi\u0144ski, Victor W. Marek, and Miroslaw Truszczy\u0144ski. Default reasoning system DeReS. In Luigia Carlucci Aiello, Jon Doyle, and Stuart Shapiro, editors, KR\u201996: Principles of Knowledge Representation and Reasoning, pages 518\u2013528. Morgan Kaufmann, San Francisco, California, 1996. 267"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1109\/CCC.1997.612304","volume-title":"Proceedings of the Twelfth Annual IEEE Conference on Computational Complexity","author":"E. Dantsin","year":"1997","unstructured":"Evgeny Dantsin, Thomas Eiter, Georg Gottlob, and Andrei Voronkov. Complexity and expressive power of logic programming. In Proceedings of the Twelfth Annual IEEE Conference on Computational Complexity, pages 82\u2013101, Ulm, Germany, June 1997. IEEE Computer Society Press. 268, 274, 276"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"3","author":"W. F. Dowling","year":"1984","unstructured":"W. F. Dowling and J. H. Gallier. Linear-time algorithms for testing the satisfiability of propositional Horn formulae. Journal of Logic Programming, 3:267\u2013284, 1984. 276","journal-title":"Journal of Logic Programming"},{"key":"20_CR6","unstructured":"Eiter, T., Leone, N., Pfeifer G., Mateis C., and Scarcello, F. The kr system dlv: Progress report, comparisons and benchmarks. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201998), pages 406\u2013417. Morgan Kaufmann Publishers, 1998. 267"},{"key":"20_CR7","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. of the 5th ICLP, pages 1070\u20131080. The MIT Press, 1988. 267"},{"key":"20_CR8","unstructured":"Vladimir Lifschitz and Hudson Turner. Splitting a logic program. In Proceedings of the Eleventh International Conference on Logic Programming, pages 23\u201337, 1994. 270"},{"key":"20_CR9","unstructured":"V. W. Marek and J. B. Remmel. On the foundations of answer set programming. In Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, pages 124\u2013131. AAAI Press, March 2001. 276"},{"key":"20_CR10","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"W. Marek","year":"1991","unstructured":"W. Marek and M. Truszczy\u0144ski. Autoepistemic logic. Journal of the Association for Computing Machinery, 38:588\u2013619, 1991. 274","journal-title":"Journal of the Association for Computing Machinery"},{"key":"20_CR11","unstructured":"Christos H. Papadimitriou. Computational Complexity. Addison-Wesley Publishing Company, Inc, 1994. 276"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Tommi Syrj\u00e4nen and Ilkka Niemel\u00e4. The smodels system. In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, Vienna, Austria, September 2001. Springer-Verlag. 267, 268","DOI":"10.1007\/3-540-45402-0_38"}],"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_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,13]],"date-time":"2021-11-13T21:17:50Z","timestamp":1636838270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45402-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425939","9783540454021"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45402-0_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}