{"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":1725566497587},"publisher-location":"Berlin, Heidelberg","reference-count":26,"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_17","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T18:13:58Z","timestamp":1285006438000},"page":"164-173","source":"Crossref","is-referenced-by-count":0,"title":["Propositional Reasoning for an Embodied Cognitive Model"],"prefix":"10.1007","author":[{"given":"Jerusa","family":"Marchi","sequence":"first","affiliation":[]},{"given":"Guilherme","family":"Bittencourt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","first-page":"1549","volume-title":"Proceedings of IJCAI","author":"W. Bibel","year":"1997","unstructured":"Bibel, W.: Let\u2019s plan it deductively. In: Proceedings of IJCAI, Nagoya, Japan, August 23-29, vol.\u00a015, pp. 1549\u20131562. Morgan Kaufmann, San Francisco (1997) (ISBN 1-55860-480-4)"},{"key":"17_CR2","first-page":"310","volume-title":"Proceedings of IJCAI","author":"G. Bittencourt","year":"1997","unstructured":"Bittencourt, G.: In the quest of the missing link. In: Proceedings of IJCAI, Nagoya, Japan, August 23-29, vol.\u00a015, pp. 310\u2013315. Morgan Kaufmann, San Francisco (1997) (ISBN 1-55860-480-4)"},{"key":"17_CR3","unstructured":"Bittencourt, G., Marchi, J.: A syntactic approach to satisfaction. In: Konev, B., Schmidt, R. (eds.) Proceedings of the 4th International Workshop on the Implementation of Logics, University of Liverpool and University of Manchester, pp. 18\u201332 (2003)"},{"key":"17_CR4","unstructured":"Bittencourt, G., Perrussel, L., Marchi, J.: A syntactical approach to revision. Accepted to ECAI 2004"},{"issue":"4","key":"17_CR5","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1023\/A:1011917032470","volume":"27","author":"G. Bittencourt","year":"2001","unstructured":"Bittencourt, G., Tonin, I.: An algorithm for dual transformation in first-order logic. Journal of Automated Reasoning\u00a027(4), 353\u2013389 (2001)","journal-title":"Journal of Automated Reasoning"},{"issue":"1-3","key":"17_CR6","first-page":"139","volume":"47","author":"R.A. Brooks","year":"1991","unstructured":"Brooks, R.A.: Intelligence without representation. Artificial Intelligence (Special Volume Foundations of Artificial Intelligence)\u00a047(1-3), 139\u2013159 (1991)","journal-title":"Artificial Intelligence (Special Volume Foundations of Artificial Intelligence)"},{"key":"17_CR7","unstructured":"Damasio, A.R.: Descartes\u2019 Error: Emotion, Reason, and the Human Brain. G.P. Putnam\u2019s Sons, New York (1994)"},{"key":"17_CR8","unstructured":"Darwiche, A., Marquis, P.: A perspective on knowledge compilation. IJCAI, 175\u2013182 (2001)"},{"key":"17_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0357-2","volume-title":"First-Order Logic and Automated Theorem Proving","author":"M. Fitting","year":"1990","unstructured":"Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, New York (1990)"},{"key":"17_CR10","unstructured":"Ginsberg, M.L., Parkes, A.J., Roy, A.: Supermodels and robustness. In: Proceedings of AAAI 1998, pp. 334\u2013339 (1998)"},{"key":"17_CR11","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1613\/jair.301","volume":"4","author":"L.P. Kaelbling","year":"1996","unstructured":"Kaelbling, L.P., Littman, M.L., Moore, A.W.: Reinforcement learning: A survey. Journal of Artificial Intelligence Research\u00a04, 237\u2013285 (1996)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0747-7171(08)80029-6","volume":"9","author":"A. Kean","year":"1990","unstructured":"Kean, A., Tsiknis, G.: An incremental method for generating prime implicants\/implicates. Journal of Symbolic Computation\u00a09, 185\u2013206 (1990)","journal-title":"Journal of Symbolic Computation"},{"key":"17_CR13","unstructured":"Lesp\u00e9rance, Y., Levesque, H.J., Lin, F., Marcu, D., Reiter, R., Scherl, R.B.: A logical approach to high level robot programming \u2013 a progress report. In: Kuipers, B. (ed.) Working notes of the 1994 AAAI fall symposium on Control of the Physical World by Intelligent Systems, New Orleans, LA (November 1994)"},{"key":"17_CR14","unstructured":"Levesque, H., Pirri, F., Reiter, R.: Foundations for the situation calculus (1998)"},{"key":"17_CR15","volume-title":"Boston Studies in the Philosophy of Science","author":"H.R. Maturana","year":"1980","unstructured":"Maturana, H.R., Varela, F.J.: Autopoiesis and cognition: The realization of the living. In: Cohen, R.S., Wartofsky, M.W. (eds.) Boston Studies in the Philosophy of Science, vol.\u00a042, D. Reidel Publishing Co., Dordecht, Holland (1980)"},{"key":"17_CR16","unstructured":"Morin, E.: La M\u00e9thode 4, Les Id\u00e9es. Editions du Seuil, Paris (1991)"},{"key":"17_CR17","unstructured":"Murray, N., Ramesh, A., Rosenthal, E.: The semi-resolution inference rule and prime implicate computations. In: Proc. Fourth Golden West International Conference on Intelligent Systems, San Fransisco, CA, USA, pp. 153\u2013158 (1995)"},{"key":"17_CR18","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0004-3702(82)90012-1","volume":"18","author":"A. Newell","year":"1982","unstructured":"Newell, A.: The knowledge level. Artificial Intelligence\u00a018, 87\u2013127 (1982)","journal-title":"Artificial Intelligence"},{"key":"17_CR19","unstructured":"Parkes, J.: Clustering at the phase transition. In: AAAI\/IAAI, pp. 340\u2013345 (1997)"},{"issue":"3","key":"17_CR20","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1023\/A:1005721905269","volume":"18","author":"A. Ramesh","year":"1997","unstructured":"Ramesh, A., Becker, G., Murray, N.V.: CNF and DNF considered harmful for computing prime implicants\/implicates. Journal of Automated Reasoning\u00a018(3), 337\u2013356 (1997)","journal-title":"Journal of Automated Reasoning"},{"issue":"144","key":"17_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"1","author":"R. Scherl","year":"2003","unstructured":"Scherl, R., Levesque, H.J.: Knowledge, action, and the frame problem. Artificial Intelligence\u00a01(144), 1\u201339 (2003)","journal-title":"Artificial Intelligence"},{"key":"17_CR22","first-page":"160","volume-title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","author":"M. Shanahan","year":"1993","unstructured":"Shanahan, M.: Explanation in the situation calculus. In: Bajcsy, R. (ed.) Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, San Mateo, California, pp. 160\u2013165. Morgan Kaufmann, San Francisco (1993)"},{"issue":"4","key":"17_CR23","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1109\/T-C.1970.222917","volume":"19","author":"J.R. Slagle","year":"1970","unstructured":"Slagle, J.R., Chang, C.L., Lee, R.C.T.: A new algorithm for generating prime implicants. IEEE Transactions on Computing\u00a019(4), 304\u2013310 (1970)","journal-title":"IEEE Transactions on Computing"},{"issue":"3","key":"17_CR24","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF00249017","volume":"7","author":"R. Socher","year":"1991","unstructured":"Socher, R.: Optimizing the clausal normal form transformation. Journal of Automated Reasoning\u00a07(3), 325\u2013336 (1991)","journal-title":"Journal of Automated Reasoning"},{"key":"17_CR25","unstructured":"Varela, F.J.: Autonomie et Connaissance: Essai sur le Vivant. Editions du Seuil, Paris (1989)"},{"key":"17_CR26","doi-asserted-by":"crossref","unstructured":"Zhang, L., Malik, S.: The quest for efficient boolean satisfiability solvers. In: Proceedings of 8th International Conference on Computer Aided Deduction(CADE 2002) (invited Paper)","DOI":"10.1007\/3-540-45657-0_2"}],"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_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:27:08Z","timestamp":1605742028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-28645-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232377","9783540286455"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-28645-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}