{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T16:45:08Z","timestamp":1649004308517},"reference-count":29,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[1996,1]]},"DOI":"10.1080\/09528139650042529","type":"journal-article","created":{"date-parts":[[2002,10,7]],"date-time":"2002-10-07T21:12:47Z","timestamp":1034025167000},"page":"21-42","source":"Crossref","is-referenced-by-count":0,"title":["An assumption-based truth maintenance system dealing with non-ground justifications"],"prefix":"10.1080","volume":"8","author":[{"given":"EVELINA","family":"LAMMA","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","unstructured":"Bossi, A., Gabrielli, M., Levi, G. and Meo, M. C. Contributions to the semantics of open logic programs. Proceedings of the Future Generation Computing Systems FGCS92. pp.570\u2013580. ICOT."},{"key":"CIT0002","unstructured":"Bry, F. Intension al updates : abduction via deduction. Proceedings 7th International Conference on Logic Programming. 1992. pp.561\u2013575. MIT Press."},{"key":"CIT0003","unstructured":"Brogi, A., Lamma, E. and Mello, P. Coupling logic programming and assumption-based truth maintenance systems. Proceedings of the European Conference on Artificial Intelligence ECAI92. August, Vienna. pp.114\u2013119. Wiley."},{"key":"CIT0004","unstructured":"Bugliesi, M., Lamma, E. and Mello, P. Partial evaluation for hierarchies of logic theories. Proceedings of the North American Conference on Logic Programming NACLP90. Edited by: Debray, S. and Hermenegildo, M. pp.359\u2013376. MIT Press."},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90024-B"},{"key":"CIT0006","volume-title":"Abductive logic programming. Technical Report, Dept. of Computer Science","author":"Chen W.","year":"1989"},{"key":"CIT0007","unstructured":"Denecker, M. and De Schreye, D. SLDNFA: an abductive procedure for normal abductive programs. Proceedings Joint International Conference and Symposium on Logic Programming JICSLP92. November, Washington, USA. pp.686\u2013700. MIT Press."},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90027-U"},{"key":"CIT0010","unstructured":"Demolombe, R. and Fari\u00f1as del Cerro, L. An inference rule for hypothes is generation. Proceedings of the International Joint Conference on Artificial Intelligence IJCAI91. pp.152\u2013157."},{"key":"CIT0011","unstructured":"Dressler, O. Problem solving with the NM-ATMS. Proceedings 9th European Conference on Artificial Intelligence. pp.253\u2013258. Pitman Publishing."},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"CIT0013","unstructured":"Eshghi, K. and Kowalski, R. A. Abduction compared with negation by failure. Proceedings Sixth International Conference on Logic Programming. pp.234\u2013254. MIT Press."},{"key":"CIT0014","doi-asserted-by":"crossref","unstructured":"Gaifman, H. and Shapiro, E. Fully abstract compositional semantics for logic programs. Proceedings Sixteenth Symposium on Principles of Programming Languages POPL. pp. 134\u2013142.","DOI":"10.1145\/75277.75289"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037514"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037523"},{"key":"CIT0017","volume-title":"A specification of an abstract Prolog machine and its application to partial evaluation","author":"Komorowski H. J.","year":"1981"},{"key":"CIT0018","unstructured":"Komorowski, H. J. Towards a programming methodology founded on partial deduction. Proceedings 9th European Conference on Artificial Intelligence. pp.404\u2013409. Pitman Publishing."},{"key":"CIT0019","unstructured":"Junker, U. A correct non-monotonic ATMS. Proceedings of the International Joint Conference on Artificial Intelligence IJCAI89. Morgan Kaufman."},{"key":"CIT0020","unstructured":"Lamma, E. and Mello, P. An assumption-based truth maintenance system dealing with non-groun d justifications. Proceedings ECAI92. Vienna. pp.119\u2013123. Wiley."},{"key":"CIT0021","volume-title":"Logic Program Synthesis and Transformation, Workshops in Computing","author":"Lamma E.","year":"1993"},{"key":"CIT0022","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"Lloyd J. W.","year":"1987","edition":"2"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)90027-M"},{"key":"CIT0024","unstructured":"Sahlin, D. The Mixtus approach to automatic partial evaluation of full Prolog. Proceedings of the North American Conference on Logic Programming NACLP90. pp.377\u2013398. MIT Press."},{"key":"CIT0025","unstructured":"Poole, D. L. Variables in hypotheses. Proceedings of the International Joint Conference on Artificial Intelligence IJCAI87. pp.905\u2013908."},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90077-X"},{"key":"CIT0027","unstructured":"Reiter, R. and de Kleer, J. Foundations of assumption-based truth maintenance systems. Proceedings of the AAAI-87. Seattle, WA. pp.183\u2013188."},{"key":"CIT0028","unstructured":"Rodi, W. L. and Pimentel, S. G. A nonmonotonic assumption-based TMS using stable bases. Proceedings of Knowledge Representation KR91. pp.485\u2013495."},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1145\/321978.321991"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/09528139650042529","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,26]],"date-time":"2017-11-26T09:25:24Z","timestamp":1511688324000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/09528139650042529"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["10.1080\/09528139650042529"],"URL":"https:\/\/doi.org\/10.1080\/09528139650042529","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}