{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:01:19Z","timestamp":1725566479580},"publisher-location":"Berlin, Heidelberg","reference-count":22,"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_12","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T22:13:58Z","timestamp":1285020838000},"page":"114-123","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Natural Way of Reasoning"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Carlos Loureiro","family":"Ralha","sequence":"first","affiliation":[]},{"given":"C\u00e9lia Ghedini","family":"Ralha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"12_CR1","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/371316.371517","volume":"2","author":"G. Antoniou","year":"2001","unstructured":"Antoniou, G., Bilington, D., Governatori, G., Maher, M.: Representation results for defeasible logic. ACM Transactions on Computational Logic\u00a02(2), 255\u2013287 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"12_CR2","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J., Rock, A.: A family of defeasible reasoning logics and its implementation. In: Proceedings of European Conference on Artificial Intelligence, pp. 459\u2013463 (2000)"},{"key":"12_CR3","unstructured":"Hans-J\u00fcrgen B\u00fcrckert, Bernard Hollunder, and Armin Laux. On skolemization in constrained logics. Technical Report RR-93-06, DFKI (March 1993)"},{"issue":"4","key":"12_CR4","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1145\/371578.371581","volume":"32","author":"C.I. Ches\u00f1evar","year":"2000","unstructured":"Ches\u00f1evar, C.I., Maguitman, A., Loui, R.: Logical models of argument. ACM Computing Surveys\u00a032(4), 343\u2013387 (2000)","journal-title":"ACM Computing Surveys"},{"key":"12_CR5","unstructured":"Alejandro, J.: Garcia and Guillermo R. Simari. Defeasible logic programming: An argumentative aproach. Article downloaded on May 204, from http:\/\/cs.uns.edu.ar\/~grs\/Publications\/index-publications.html , To appear in Theory and Practice of Logic Programming"},{"key":"12_CR6","series-title":"Studies in Linguistics and Philosophy","volume-title":"Generalized Quantifiers, Linguistic and Logical Approaches","year":"1987","unstructured":"G\u00e4rdenfors, P. (ed.): Generalized Quantifiers, Linguistic and Logical Approaches. Studies in Linguistics and Philosophy, vol.\u00a031. Reidel, Dordrecht (1987)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Hintikka, J.: Quantifiers in Natural Language: Game-Theoretical Semantics, pp. 81\u2013117. D. Reidel (1979)","DOI":"10.1007\/978-1-4020-4108-2_4"},{"key":"12_CR8","first-page":"41","volume-title":"The Handbook of Contemporary Semantic Theory","author":"E.L. Keenan","year":"1996","unstructured":"Keenan, E.L.: The semantic of determiners. In: Lappin, S. (ed.) The Handbook of Contemporary Semantic Theory, pp. 41\u201363. Blackwell Plublishers Inc., Malden (1996)"},{"key":"12_CR9","unstructured":"L\u00f8nning, J.T.: Natural language determiners and binary quantifiers. In: Handout on Generalized Quantifiers presented at the fifth European Summer School on Logic, Language and Information (August 1993)"},{"key":"12_CR10","unstructured":"Lorenzen, P.: Metamatem\u00e1tica. Madrid: Tecnos, (1971, 1962) [Spanish translator: Jacobo Mu\u00f1oz]"},{"key":"12_CR11","first-page":"355","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D. Nute","year":"1994","unstructured":"Nute, D.: Defeasible logic. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a03, pp. 355\u2013395. Oxford University Press, Oxford (1994)"},{"key":"#cr-split#-12_CR12.1","unstructured":"Panitz, S.E.: Default reasoning with a constraint resolution principle, Ps file downloaded on January 2003 from http:\/\/www.ki.informatik.uni-frankfurt.de\/persons\/panitz\/paper\/bbt.ps.gz;"},{"key":"#cr-split#-12_CR12.2","unstructured":"The article was presented at the LPAR 1993 in St Petersburg"},{"key":"12_CR13","unstructured":"Peters, S., Westerst\u00e5hl, D.: Quantifiers (2002), Pdf file downloadable on May 2003 from http:\/\/www.stanford.edu\/group\/nasslli\/courses\/peter-wes\/PWbookdraft2-3.pdf"},{"key":"12_CR14","unstructured":"Pollock, J.L.: Natural deduction. Pdf file downloadable on December 2002 from Oscar\u2019s home page, http:\/\/oscarhome.soc-sci.arizona.edu\/ftp\/OSCAR-web-page\/oscar.html"},{"key":"12_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/3-540-46581-2_14","volume-title":"Formal Models of Agents","author":"H. Prakken","year":"2000","unstructured":"Prakken, H.: Dialectical proof theory for defeasible argumentation with defeasible priorities. In: Meyer, J.-J.C., Schobbens, P.-Y. (eds.) ModelAge-WS 1997. LNCS (LNAI), vol.\u00a01760, pp. 202\u2013215. Springer, Heidelberg (2000)"},{"key":"12_CR16","first-page":"218","volume-title":"Handbook of Philosophical Logic","author":"H. Prakken","year":"2002","unstructured":"Prakken, H., Vreeswijk, G.: Logics for defeasible argumentation. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a04, pp. 218\u2013319. Kluwer Academic Publishers, Dordrecht (2002)"},{"issue":"1","key":"12_CR17","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM\u00a012(1), 23\u201341 (1965)","journal-title":"J. ACM"},{"key":"#cr-split#-12_CR18.1","unstructured":"Veloso, P.A.S., Carnielli, W.A.: Logics for qualitative reasoning. CLE e-prints??1(3) (2001) (Section Logic), available at http:\/\/www.cle.unicamp.br\/e-prints\/abstract_3.htm;"},{"key":"#cr-split#-12_CR18.2","doi-asserted-by":"crossref","unstructured":"Rahman, S., Symons, J. (eds.): To appear in ???Logic, Epistemology and the Unity of Science???. Kluwer (2003)","DOI":"10.1007\/978-1-4020-2808-3"},{"key":"12_CR19","unstructured":"Veloso, P.A.S., Veloso, S.R.M.: On filter logics for \u2018most\u2019 and special predicates. Article downloaded on May 2004 from http:\/\/www.cs.math.ist.utl.pt\/comblog04\/abstracts\/veloso.pdf"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0004-3702(96)00041-0","volume":"90","author":"G.A.W. Vreeswijk","year":"1997","unstructured":"Vreeswijk, G.A.W.: Abstract argumentation systems. Artficial Intelligence\u00a090, 225\u2013279 (1997)","journal-title":"Artficial Intelligence"}],"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_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:27:08Z","timestamp":1605760028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-28645-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232377","9783540286455"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-28645-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}