{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:09:28Z","timestamp":1725458968214},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540543058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0037032","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:39:32Z","timestamp":1138203572000},"page":"107-124","source":"Crossref","is-referenced-by-count":1,"title":["ARC: An extended ATMS based on directed CAT-correct resolution"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Tayrac","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Cayrol and Tayrac, Les r\u00e9solutions CAT-correcte et CCT-correcte, la r\u00e9solution CAT-correcte dans l'ATMS, \"Colloque international sur l'informatique cognitive des organisations\", Qu\u00e9bec 89."},{"key":"7_CR2","unstructured":"Cayrol et Tayrac, CAT-correct and CCT-correct resolution, CAT-correct resolution in ATMS, submited to Artificial Intelligence."},{"key":"7_CR3","unstructured":"Chang and Lee, Symbolic Logic and Mechanical Theorem Proving, Computer Science and Applied Mathematics (1973)."},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"Kleer","year":"1986","unstructured":"de Kleer, An Assumption-based TMS, Artificial Intelligence 28 (1986) 127\u2013162.","journal-title":"Artificial Intelligence"},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0004-3702(86)90081-0","volume":"28","author":"Kleer","year":"1986","unstructured":"de Kleer, Extending the ATMS, Artificial Intelligence 28 (1986) 163\u2013196.","journal-title":"Artificial Intelligence"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(86)90082-2","volume":"28","author":"Kleer","year":"1986","unstructured":"de Kleer, Problem Solving with the ATMS, Artificial Intelligence 28 (1986) 197\u2013224.","journal-title":"Artificial Intelligence"},{"key":"7_CR7","unstructured":"de Kleer, A general labeling algorithm for assumption-based truth maintenance, Proceedings of the National Conference on Artificial Intelligence, Saint Paul, MN (August 1988), 188\u2013192."},{"key":"7_CR8","unstructured":"Kean and Tsiknis, An incremental method for generating prime implicants\/implicates, University of British Columbia Technical Report TR-88-16 (1988)."},{"key":"7_CR9","volume-title":"Studies in the completeness and efficiency of theorem proving by resolution","author":"Kowalski","year":"1970","unstructured":"Kowalski, Studies in the completeness and efficiency of theorem proving by resolution, Ph.D. Thesis Univ. of Edinburgh, Scotland (1970)."},{"key":"7_CR10","unstructured":"Maier D. and Warren D. S., Computing with Logic. The Benjamin\/Cummings Publishing Company, Inc. (1988)."},{"key":"7_CR11","unstructured":"Reiter and de Kleer, Foundations of assumption-based truth maintenance system. Preliminary report. Proc. of Amer. Assoc. for Artificial Intelligence Conf. (AAAI-87), Seatle, 183\u2013188."},{"key":"7_CR12","unstructured":"Robinson, Automatic deduction with Hyper-resolution. Intern. J. Comput. Math. 1 (227\u2013234)."},{"key":"7_CR13","volume-title":"Etude de nouvelles strat\u00e9gies de r\u00e9solution, Application \u00e0 l'ATMS","author":"Tayrac","year":"1990","unstructured":"Tayrac, Etude de nouvelles strat\u00e9gies de r\u00e9solution, Application \u00e0 l'ATMS, Ph.D. Thesis Univ. Paul Sabatier of Toulouse, France, June 1990."},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Tison, Generalized Consensus Theory and Application to the Minimisation of Boolean Functions, IEEE Transaction on Electronic Computers, EC-16, 4, August 67, pp 446\u2013456.","DOI":"10.1109\/PGEC.1967.264648"},{"key":"7_CR15","unstructured":"Tsiknis and Kean, Clause Management Systems, University of British Columbia, Technical report TR-88-21 (1988)."}],"container-title":["Lecture Notes in Computer Science","Truth Maintenance Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037032.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:21:55Z","timestamp":1607552515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0037032"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540543058"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0037032","relation":{},"subject":[]}}