{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:33Z","timestamp":1725663693760},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572923"},{"type":"electronic","value":"9783540480389"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57292-9_38","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:41:10Z","timestamp":1330260070000},"page":"23-34","source":"Crossref","is-referenced-by-count":1,"title":["Computing 3-valued stable models by using the ATMS"],"prefix":"10.1007","author":[{"given":"Evelina","family":"Lamma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"3_CR1","unstructured":"A. Brogi, E. Lamma, and P. Mello. ATMS for Implementing Logic Programming. In B. Neumann, editor, Proceedings 10th European Conference on Artificial Intelligence, pages 114\u2013118. John Wiley and Sons, 1992."},{"key":"3_CR2","first-page":"783","volume-title":"Normal Logic Programs as Open Positive Programs","author":"A. Brogi","year":"1992","unstructured":"A. Brogi, E. Lamma, P. Mancarella, and P. Mello. Normal Logic Programs as Open Positive Programs. In Proceedings Joint International Conference and Symposium on Logic Programming JICSLP92, pages 783\u2013797. Washington (USA), November 1992, The MIT Press."},{"key":"3_CR3","unstructured":"A. Brogi, E. Lamina, P. Mancarella, and P. Mello. Semantics for Abductive Logic Programs. In Proceedings ICLP93 Workshop on Abductive Reasoning. Budapest (H), 24\u201325 June 1993."},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"J. de Kleer. An Assumption-based TMS. Artificial intelligence, 28: 127\u2013162, 1986.","journal-title":"Artificial intelligence"},{"key":"3_CR5","unstructured":"O. Dressler. Problem Solving with the NM-ATMS. In Y., editor, Proceedings 9th European Conference on Artificial Intelligence, pages 253\u2013258. Pitman Publishing, 1988."},{"key":"3_CR6","unstructured":"P. M. Dung. Negation as Hypothesis: An Abductive Foundation for Logic Programming. In K. Furukawa., editor. Proceedings 8th International Conference on Logic Programming. The MIT Press, 1991."},{"key":"3_CR7","unstructured":"K. Eshghi and R.A. Kowalski. Abduction compared with negation by failure. In G. Levi and M. Martelli, editors, Proceedings 6th International Conference on Logic Programming, page 234\u2013254. The MIT Press, 1989."},{"key":"3_CR8","unstructured":"K. Eshghi. Computing Stable Models by Using the ATMS. In Proc. AAAI90, pages 272\u2013277. AAAI, 1990."},{"key":"3_CR9","unstructured":"M. Gelfond and V. Lifschitz. The Stable Models Semantics for Logic Programs. In R. A. Kowalski and K. A. Bowen, editors, Proc. Fifth International Conference on Logic Programming, pages 1070\u20131080. The MIT Press, 1988."},{"key":"3_CR10","unstructured":"U. Junker. A Correct, Non-Monotonic ATMS. Proc. IJCAI89, Morgan Kaufman 1989."},{"key":"3_CR11","unstructured":"A.C. Kakas and P. Mancarella. Generalized stable models: a semantics for abduction. In L. Carlucci Aiello, editor, Proceedings of 9th European Conference on Artificial Intelligence, pages 385\u2013391. Pitman, 1990."},{"key":"3_CR12","unstructured":"A.C. Kakas and P. Mancarella,. On the Relation between Truth Maintenance and Abduction. In Proc. PRICAI, 1991."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"E. Lamma, and P. Mello. Computing 3-valued Stable Models by using the ATMS. DEIS Tecnical Report. University of Bologna (I), June 1993.","DOI":"10.1007\/3-540-57292-9_38"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of logic programming. Springer-Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"3_CR15","unstructured":"L.M. Pereira, J.N. Aparicio, J.J. Alferes. Derivation Procedures for Extended Stable Models. Proc. IJCAI91, pages 863\u2013868. Morgan Kaufman 1991."},{"key":"3_CR16","unstructured":"S.G. Pimentel. and J.L. Cuadrado. A Truth Maintenance System Based on Stable Models. In E.W. Lusk, and R.A. Overbeek, editors, Proc. NACLP89, pages 274\u2013288. The MIT Press, 1989."},{"key":"3_CR17","unstructured":"G.M. Provan. The Computational Complexity of Multiple-context Truth Maintenance Systems. In L. Carlucci Aiello, editor, Proceedings of 9th European Conference on Artificial Intelligence, pages 522\u2013527. Pitman, 1990."},{"key":"3_CR18","unstructured":"T.C. Przymusinski. Extended Stable Semantics for Normal and Disjunctive Programs. In D.H.D. Warren and P. Szeredi, editors, Proc. 7th International Conference on Logic Programming, page 459\u2013477. The MIT Press, 1990."},{"key":"3_CR19","unstructured":"W.L. Rodi and S.G. Pimentel. A Nonmonotonic Assumption-based TMS Using Stable Bases. In Proc. KR91. pages 485\u2013495, 1991."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Sacc\u00e0, D., and Zaniolo, C., \u201cStable models and non determinism in logic programs with negation\u201d, In Proc. PODS'90, 1990.","DOI":"10.1145\/298514.298572"},{"key":"3_CR21","first-page":"505","volume-title":"Computing Abduction Using the TMS","author":"K. Satoh","year":"1991","unstructured":"K. Satoh, and N. Iwayama. Computing Abduction Using the TMS. in Proceedings 8th International Conference on Logic Programming ICLP91, pages 505\u2013518. Paris (F). June 1991. The MIT Press."},{"key":"3_CR22","first-page":"671","volume-title":"A Query Evaluation Method for Abductive Logic Programming","author":"K. Satoh","year":"1992","unstructured":"K. Satoh, and N. Iwayama. A Query Evaluation Method for Abductive Logic Programming. Proceedings Joint International Conference and Symposium on Logic Programming JICSLP92, pages 671\u2013685. Washington (USA), November 1992, The MIT Press."},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, K.A. Ross, and J.S. Schlipf. The Well-Founded Semantics for General Logic Programs. In Journal of the ACM. Vol. 38, No. 3, pages 620\u2013650. ACM, 1991.","DOI":"10.1145\/116825.116838"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57292-9_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:53Z","timestamp":1605647453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57292-9_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572923","9783540480389"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-57292-9_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}