{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:17:26Z","timestamp":1760170646936},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540207795"},{"type":"electronic","value":"9783540246183"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24618-3_9","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T07:31:03Z","timestamp":1283671863000},"page":"102-121","source":"Crossref","is-referenced-by-count":1,"title":["Fuzzy Unification and Argumentation for Well-Founded Semantics"],"prefix":"10.1007","author":[{"given":"Ralf","family":"Schweimeier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Schroeder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","author":"A. Bondarenko","year":"1997","unstructured":"Bondarenko, A., Dung, P., Kowalski, R., Toni, F.: An Abstract, Argumentation-Theoretic Approach to Default Reasoning. Artificial Intelligence\u00a093, 63\u2013101 (1997)","journal-title":"Artificial Intelligence"},{"key":"9_CR2","first-page":"616","volume-title":"Proc. of the 10th International Conference on Logic Programming","author":"P.M. Dung","year":"1993","unstructured":"Dung, P.M.: An Argumentation Semantics for Logic Programming with Explicit Negation. In: Proc. of the 10th International Conference on Logic Programming, pp. 616\u2013630. MIT Press, Cambridge (1993)"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the Acceptability of Arguments and Its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games. Artificial Intelligence\u00a077, 321\u2013357 (1995)","journal-title":"Artificial Intelligence"},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"7","author":"H. Prakken","year":"1997","unstructured":"Prakken, H., Sartor, G.: Argument-Based Extended Logic Programming with Defeasible Priorities. Journal of Applied Non-Classical Logics\u00a07, 25\u201375 (1997)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(98)00078-2","volume":"104","author":"S. Kraus","year":"1998","unstructured":"Kraus, S., Sycara, K., Evenchik, A.: Reaching Agreements through Argumentation: A Logical Model and Implementation. Artificial Intelligence\u00a0104, 1\u201369 (1998)","journal-title":"Artificial Intelligence"},{"key":"9_CR6","unstructured":"Parsons, S., Jennings, N.: Negotiation through Argumentation-a Preliminary Report. In: Proc. Second Int. Conf. on Multi-Agent Systems, Kyoto, Japan, pp. 267\u2013274 (1996)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0026758","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"C. Sierra","year":"1998","unstructured":"Sierra, C., Jennings, N., Noriega, P., Parsons, S.: A Framework for Argumentation-Based Negotiation. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol.\u00a01365, pp. 167\u2013182. Springer, Heidelberg (1998)"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1093\/logcom\/8.3.261","volume":"8","author":"S. Parsons","year":"1998","unstructured":"Parsons, S., Sierra, C., Jennings, N.: Agents that Reason and Negotiate by Arguing. Journal of Logic and Computation\u00a08, 261\u2013292 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"9_CR9","unstructured":"Sadri, F., Toni, F., Torroni, P.: Logic Agents, Dialogue, Negotiation - An Abductive Approach. In: Proceedings of the AISB Symposium on Information Agents for E-commerce (2001)"},{"key":"9_CR10","first-page":"1223","volume-title":"Proceedings of Autonomous Agents and Multi Agent Systems 2002","author":"P. Torroni","year":"2002","unstructured":"Torroni, P.: A Study on the Termination of Negotiation Dialogues. In: Proceedings of Autonomous Agents and Multi Agent Systems 2002, pp. 1223\u20131230. ACM Press, New York (2002)"},{"key":"9_CR11","series-title":"LNAI","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48437-X_12","volume-title":"Multi-Agent System Engineering","author":"M. Schroeder","year":"1999","unstructured":"Schroeder, M.: An Efficient Argumentation Framework for Negotiating Autonomous Agents. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS (LNAI), vol.\u00a01647, Springer, Heidelberg (1999)"},{"key":"9_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5723-4","volume-title":"Foundations of Knowledge Systems with Applications to Databases and Agents","author":"G. Wagner","year":"1998","unstructured":"Wagner, G.: Foundations of Knowledge Systems with Applications to Databases and Agents. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1080\/08839510050119235","volume":"14","author":"M. Schroeder","year":"2000","unstructured":"Schroeder, M., Wagner, G.: Vivid Agents: Theory, Architecture, and Applications. Journal of Applied Artificial Intelligence\u00a014, 645\u2013676 (2000)","journal-title":"Journal of Applied Artificial Intelligence"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1145\/191246.191322","volume-title":"Proceedings of the Third International Conference on Informati on and Knowledge Management (CIKM 1994)","author":"T. Finin","year":"1994","unstructured":"Finin, T., Fritzson, R., McKay, D., McEntire, R.: KQML as an Agent Communication Lanugage. In: Proceedings of the Third International Conference on Informati on and Knowledge Management (CIKM 1994), pp. 456\u2013463. ACM Press, New York (1994)"},{"key":"9_CR15","unstructured":"Chiariglione, L., et al.: SpecificationVersion 2.0. Technical Report, Foundations of Intelligent Physical Agents (1997), http:\/\/www.fipa.org"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1017\/S0269888999142012","volume":"14","author":"H. Nwana","year":"1999","unstructured":"Nwana, H., Ndumu, D.: A Perspective on Software Agents Research. The Knowledge Engineering Review\u00a014, 125\u2013142 (1999)","journal-title":"The Knowledge Engineering Review"},{"key":"9_CR17","series-title":"LNAI","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-61488-5","volume-title":"Reasoning with Logic Programming","author":"J.J. Alferes","year":"1996","unstructured":"Alferes, J.J., Pereira, L.M.: Reasoning with Logic Programming. LNCS (LNAI), vol.\u00a01111. Springer, Heidelberg (1996)"},{"key":"9_CR18","first-page":"1070","volume-title":"5th International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Kowalski, R.A., Bowen, K.A. (eds.) 5th International Conference on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"9_CR19","first-page":"845","volume":"163","author":"V. Levenshtein","year":"1965","unstructured":"Levenshtein, V.: Binary Codes Capable of Correcting Deletions, Insertions, and Reversals. Doklady Akademii nauk SSSR\u00a0163, 845\u2013848 (1965) (in Russian); Also in Cybernetics and Control Theory 10(8), 707\u2013710 (1996)","journal-title":"Doklady Akademii nauk SSSR"},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E.F. Codd","year":"1970","unstructured":"Codd, E.F.: A Relational Model of Data for Large Shared Data Banks. Communications of the ACM\u00a013, 377\u2013387 (1970)","journal-title":"Communications of the ACM"},{"key":"9_CR21","unstructured":"Wagner, G.: Negation in Fuzzy and Possibilistic Logic Programs. Logic Programming and Soft Computing. Research Studies Press, Hetfordshire (1998)"},{"key":"9_CR22","first-page":"579","volume-title":"Proc. of ICLP 1990","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M., Lifschitz, V.: Logic Programs with Classical Negation. In: Proc. of ICLP 1990, pp. 579\u2013597. MIT Press, Cambridge (1990)"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Schweimeier, R., Schroeder, M.: A Parametrised Hierarchy of Argumentation Semantics for Extended Logic Programming and Its Application to the Well-Founded Semantics. Theory and Practice of Logic Programming (2004) (to appear)","DOI":"10.1017\/S147106840400225X"},{"key":"9_CR24","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press, Cambridge (1986)"},{"key":"9_CR25","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K.A., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. Journal of the ACM\u00a038, 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"9_CR26","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/371578.371581","volume":"32","author":"C.I. Ches\u00f1evar","year":"2000","unstructured":"Ches\u00f1evar, C.I., Maguitman, A.G., Loui, R.P.: Logical Models of Argument. ACM Computing Surveys\u00a032, 337\u2013383 (2000)","journal-title":"ACM Computing Surveys"},{"key":"9_CR27","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A Lattice-Theoretical Fixpoint Theorem and Its Applications. Pacific Journal of Mathematics\u00a05, 285\u2013309 (1955)","journal-title":"Pacific Journal of Mathematics"},{"key":"9_CR28","volume-title":"Lattice Theory","author":"G. Birkhoff","year":"1967","unstructured":"Birkhoff, G.: Lattice Theory, 3rd edn. American Mathematical Society, Providence (1967)","edition":"3"},{"key":"9_CR29","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00883931","volume":"14","author":"J.J. Alferes","year":"1995","unstructured":"Alferes, J.J., Dam\u00e1sio, C.V., Pereira, L.M.: A Logic Programming System for Non-Monotonic Reasoning. Journal of Automated Reasoning\u00a014, 93\u2013147 (1995)","journal-title":"Journal of Automated Reasoning"},{"key":"9_CR30","first-page":"149","volume":"9","author":"L. Zadeh","year":"1979","unstructured":"Zadeh, L.: A Theory of Approximate Reasoning. Machine Intelligence\u00a09, 149\u2013194 (1979)","journal-title":"Machine Intelligence"},{"key":"9_CR31","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. Journal of the ACM\u00a012, 23\u201342 (1965)","journal-title":"Journal of the ACM"},{"key":"9_CR32","first-page":"51","volume-title":"Logic Programming and Soft Computing","author":"F.A. Fontana","year":"1998","unstructured":"Fontana, F.A., Formato, F., Gerla, G.: Fuzzy Unification as a Foundation of Fuzzy Logic Programming. In: Logic Programming and Soft Computing, pp. 51\u201368. Research Studies Press, Hertfordshire (1998)"},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"Gilbert, D., Schroeder, M.: FURY: Fuzzy Unification and Resolution Based on Edit Distance. In: Proc. 1st International Symposium on Bioinformatics and Biomedical Engineering, pp. 330\u2013336 (2000)","DOI":"10.1109\/BIBE.2000.889625"},{"key":"9_CR34","unstructured":"Fung, P., Brayshaw, M., du Boulay, B., Elsom-Cook, M.: Towards a Taxonomy of Misconceptions of the Prolog Interpreter. In: Brna, P., du Boulay, B., Pain, H. (eds.) Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study, Ablex (1999)"},{"key":"9_CR35","doi-asserted-by":"crossref","first-page":"899","DOI":"10.1109\/34.406656","volume":"17","author":"E. Vidal","year":"1995","unstructured":"Vidal, E., Marzal, A., Aibar, P.: Fast Computation of Normalized Edit Distances. IEEE Transactions on Pattern Analysis and Machine Intelligence 17 (1995) 899\u2013902","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2004: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24618-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T13:37:46Z","timestamp":1559569066000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24618-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540207795","9783540246183"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24618-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}