{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:34:44Z","timestamp":1725496484433},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540668565"},{"type":"electronic","value":"9783540466741"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46674-6_21","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T15:50:17Z","timestamp":1196351417000},"page":"239-250","source":"Crossref","is-referenced-by-count":0,"title":["An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance"],"prefix":"10.1007","author":[{"given":"Ekawit","family":"Nantajeewarawat","sequence":"first","affiliation":[]},{"given":"Vilas","family":"Wuwongse","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Lausen, G., Upho, H., Waller, E.: Methods and Rules. In: Proceedings of the 1993 ACM SIGMOD International Conference on the Management of Data. ACM Press (1993) 32\u201341","DOI":"10.1145\/170035.170044"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. A\u00eft-Kaci","year":"1986","unstructured":"A\u00eft-Kaci, H., Nasr, R.: LOGIN: A Logic Programming Language with Built-in Inheritance. The Journal of Logic Programming 3 (1986) 185\u2013215","journal-title":"The Journal of Logic Programming"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0743-1066(93)90043-G","volume":"16","author":"H. A\u00eft-Kaci","year":"1993","unstructured":"A\u00eft-Kaci, H., Podelski, A.: Towards a Meaning of Life. The Journal of Logic Programming16 (1993) 195\u2013234","journal-title":"The Journal of Logic Programming"},{"key":"21_CR4","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/B978-0-12-037105-1.50010-5","volume":"5","author":"K. Akama","year":"1993","unstructured":"Akama, K.: Declarative Semantics of Logic Programs on Parameterized Representation Systems. Advances in Software Science and Technology 5 (1993) 45\u201363","journal-title":"Advances in Software Science and Technology"},{"key":"21_CR5","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/BF00961874","volume":"4","author":"G. Dobbie","year":"1995","unstructured":"Dobbie, G., Topor, R.: On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems. Journal of Intelligent Information Systems 4 (1995) 193\u2013219","journal-title":"Journal of Intelligent Information Systems"},{"key":"21_CR6","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 Intelligence77 (1995) 321\u2013357","journal-title":"Artificial Intelligence"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(90)90057-7","volume":"42","author":"J.F. Horty","year":"1990","unstructured":"Horty, J.F., Thomason, R.H., Touretzky, D.S.: A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. Artificial Intelligence 42 (1990) 311\u2013348","journal-title":"Artificial Intelligence"},{"key":"21_CR8","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the Association for Computing Machinery 42 (1995)741\u2013843","journal-title":"Journal of the Association for Computing Machinery"},{"key":"21_CR9","series-title":"PhD thesis","volume-title":"CS-97-7","author":"E. Nantajeewarawat","year":"1997","unstructured":"Nantajeewarawat, E.: An Axiomatic Framework for Deductive Object-Oriented Representation Systems Based-on Declarative Program Theory. PhD thesis, CS-97-7, Asian Institute of Technology, Bangkok, Thailand (1997)"},{"key":"21_CR10","volume-title":"Technical Report","author":"E. Nantajeewarawat","year":"1999","unstructured":"Nantajeewarawat, E., Wuwongse, V.: Defeasible Inheritance Through Specialization. Technical Report, Computer Science and Information Management Program, Asian Institute of Technology, Bangkok, Thailand (1999)"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Przymusinski, T.C.: On the Declarative Semantics of Deductive Databases and Logic Programs. In: Minker, J. (ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann (1988) 193\u2013216","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/0004-3702(92)90057-5","volume":"55","author":"L. A. Stein","year":"1992","unstructured":"Stein, L. A.: Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies. Artificial Intelligence 55 (1992) 259\u2013310","journal-title":"Artificial Intelligence"},{"key":"21_CR13","unstructured":"Touretzky, D.S.: The Mathematics of Inheritance. Morgan Kaufmann (1986)"}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science \u2014 ASIAN\u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46674-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,26]],"date-time":"2019-02-26T00:24:45Z","timestamp":1551140685000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46674-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540668565","9783540466741"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-46674-6_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}