{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:01:37Z","timestamp":1725566497693},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232377"},{"type":"electronic","value":"9783540286455"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-28645-5_2","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T22:13:58Z","timestamp":1285020838000},"page":"11-20","source":"Crossref","is-referenced-by-count":6,"title":["Towards Polynomial Approximations of Full Propositional Logic"],"prefix":"10.1007","author":[{"given":"Marcelo","family":"Finger","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF02136173","volume":"18","author":"M. Cadoli","year":"1996","unstructured":"Cadoli, M., Schaerf, M.: The complexity of entailment in propositional multivalued logics. Annals of Mathematics and Artificial Intelligence\u00a018(1), 29\u201350 (1996)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR2","series-title":"Mathematical Monographs","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198507291.001.0001","volume-title":"A Graphic Apology for Symmetry and Implicitness","author":"A. Carbone","year":"2000","unstructured":"Carbone, A., Semmes, S.: A Graphic Apology for Symmetry and Implicitness. Mathematical Monographs. Oxford University Press, Oxford (2000)"},{"key":"2_CR3","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C. Chang","year":"1973","unstructured":"Chang, C., Lee, R.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, London (1973)"},{"key":"2_CR4","unstructured":"Dalal, M.: Anytime families of tractable propositional reasoners. In: International Symposium of Artificial Intelligence and Mathematics AI\/MATH-96, pp. 42\u201345 (1996)"},{"key":"2_CR5","unstructured":"Dalal, M.: Semantics of an anytime family of reasponers. In: 12th European Conference on Artificial Intelligence, pp. 360\u2013364 (1996)"},{"key":"2_CR6","first-page":"272","volume-title":"5th European Conference on Artificial Intelligence (ECAI 2002)","author":"M. Finger","year":"2002","unstructured":"Finger, M., Wassermann, R.: Expressivity and control in limited reasoning. In: van Harmelen, F. (ed.) 5th European Conference on Artificial Intelligence (ECAI 2002), Lyon, France, pp. 272\u2013276. IOS Press, Amsterdam (2002)"},{"key":"2_CR7","first-page":"1","volume-title":"Electronic Notes in Theoretical Computer Science","author":"M. Finger","year":"2003","unstructured":"Finger, M., Wassermann, R.: The universe of approximations. In: de Queiroz, R., Pimentel, E., Figueiredo, L. (eds.) Electronic Notes in Theoretical Computer Science, vol.\u00a084, pp. 1\u201314. Elsevier, Amsterdam (2003)"},{"issue":"2","key":"2_CR8","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1093\/logcom\/14.2.179","volume":"14","author":"M. Finger","year":"2004","unstructured":"Finger, M., Wassermann, R.: Approximate and limited reasoning: Semantics, proof theory, expressivity and control. Journal of Logic And Computation\u00a014(2), 179\u2013204 (2004)","journal-title":"Journal of Logic And Computation"},{"key":"2_CR9","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, New York (1979)"},{"key":"2_CR10","first-page":"274","volume-title":"AAAI 1998","author":"F. Massacci","year":"1998","unstructured":"Massacci, F.: Anytime approximate modal reasoning. In: Mostow, J., Rich, C. (eds.) AAAI 1998, pp. 274\u2013279. AAAI Press, Menlo Park (1998)"},{"key":"2_CR11","unstructured":"Massacci, F.: Efficient Approximate Deduction and an Application to Computer Security. PhD thesis, Dottorato in Ingegneria Informatica, Universit\u00e0 di Roma I \u201cLa Sapienza\u201d, Dipartimento di Informatica e Sistemistica (June 1998)"},{"key":"2_CR12","unstructured":"McAllester, D.: Truth maintenance. In: Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI 1990), pp. 1109\u20131116 (1990)"},{"issue":"2","key":"2_CR13","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","volume":"74","author":"M. Schaerf","year":"1995","unstructured":"Schaerf, M., Cadoli, M.: Tractable reasoning via approximation. Artificial Intelligence\u00a074(2), 249\u2013310 (1995)","journal-title":"Artificial Intelligence"},{"key":"2_CR14","unstructured":"Selman, B., Kautz, H.: Knowledge compilation using horn approximations. In: Proceedings AAAI 1991, July 1991, pp. 904\u2013909 (1991)"},{"issue":"2","key":"2_CR15","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/226643.226644","volume":"43","author":"B. Selman","year":"1996","unstructured":"Selman, B., Kautz, H.: Knowledge compilation and theory approximation. Journal of the ACM\u00a043(2), 193\u2013224 (1996)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence \u2013 SBIA 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-28645-5_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T16:46:21Z","timestamp":1711817181000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-28645-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232377","9783540286455"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-28645-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}