{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:55:34Z","timestamp":1725476134820},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540673545"},{"type":"electronic","value":"9783540455622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10720076_2","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T15:06:39Z","timestamp":1167404799000},"page":"13-24","source":"Crossref","is-referenced-by-count":0,"title":["Knowledge Representation Using High-Level Non-monotonic Reasoning"],"prefix":"10.1007","author":[{"given":"Mauricio","family":"Osorio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Carlos","family":"Nieves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Zacarias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erika","family":"Saucedo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Pontelli, E., Dovier, A., Omodeo, E.G., Rossi, G.: log: A logic programming language with finite sets. In: Proc. 8th International Conference of Logic Programming, Paris, June 1991, pp. 111\u2013124 (1991)"},{"issue":"1","key":"2_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/103140.103141","volume":"16","author":"S. Abiteboul","year":"1991","unstructured":"Abiteboul, S., Grumbach, S.: A rule-based language with functions and sets. ACM Transactions on Database Systems\u00a016(1), 1\u201330 (1991)","journal-title":"ACM Transactions on Database Systems"},{"key":"2_CR3","series-title":"LNAI","volume-title":"Reasoning with Logic Programming","year":"1996","unstructured":"Alferes, J.J., Pereira, L.M. (eds.): Reasoning with Logic Programming. LNCS (LNAI), vol.\u00a01111. Springer, Heidelberg (1996)"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19-20","author":"C. Baral","year":"1994","unstructured":"Baral, C., Gelfond, M.: Logic Programming and Knowlege Representation. Journal of Logic Programming\u00a019-20, 73\u2013148 (1994)","journal-title":"Journal of Logic Programming"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/3-540-59487-6_7","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"S. Brass","year":"1995","unstructured":"Brass, S., Dix, J.: Extended abstract appeared in: Characterizations of the Stable Semantics by Partial Evaluation. In: Marek, V.W., Truszczy\u0144ski, M., Nerode, A. (eds.) LPNMR 1995. LNCS, vol.\u00a0928, pp. 85\u201398. Springer, Heidelberg (1995)"},{"key":"#cr-split#-2_CR6.1","unstructured":"Brass, S., Dix, J.: Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA. JELIA 1996\u00a020(1), 143\u2013165 (1998);"},{"key":"#cr-split#-2_CR6.2","unstructured":"Extended abstract appeared in: Characterizing D-WFS: Confluence and Iterated GCWA in Or\u0142owska, E., Alferes, J.J., Moniz Pereira, L. (eds.): JELIA 1996. LNCS, vol.\u00a01126, pp. 143\u2013165. Springer, Heidelberg (1996)"},{"key":"2_CR7","unstructured":"Brewka, G., Dix, J.: Knowledge representation with logic programs. Technical report, Tutorial Notes of the 12th European Conference on Artificial Intelligence ECAI 1996(1996). Also appeared as Technical Report 15\/96, Dept. of CS of the University of Koblenz-Landau, Will appear as in Handbook of Philosophical Logic, 2nd edn.,Ch 6, Volume 6, Methodologies (1996)"},{"key":"2_CR8","unstructured":"Baral, C., Son, T.C.: Formalizing sensing actions: a transition function based approach. In: Cognitive Robotics Workshop of AAAI Fall Symposium, pp. 13\u201320 (1998)"},{"key":"#cr-split#-2_CR9.1","unstructured":"Dix, J.: The Logic Programming Paradigm. AI Communications\u00a011(3), 39\u201343 (1998);"},{"key":"#cr-split#-2_CR9.2","doi-asserted-by":"crossref","unstructured":"Short version in Newsletter of ALP \u00a011(3), 10\u201314 (1998)","DOI":"10.1016\/S0765-2046(98)80067-1"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Dix, J., Osorio, M., Zepeda, C.: A General Theory of Confluent Rewriting Systems for Logic Programming and its Applications. Annals of Pure and Applied Logic (2000) (submitted)","DOI":"10.1016\/S0168-0072(00)00044-0"},{"issue":"2,3","key":"2_CR11","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0743-1066(98)10003-1","volume":"37","author":"J. Dix","year":"1998","unstructured":"Dix, J., Stolzenburg, F.: A Framework to incorporate Nonmonotonic Reasoning into Constraint Logic Programming. Journal of Logic Programming\u00a037(1,2,3), 47\u201376 (1998); Marriott, K., Stuckey, P.(eds.): Special Issue on Constraint Logic Programming.","journal-title":"Journal of Logic Programming"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Greco, S., Ganguly, G., Zaniolo, C.: Minimum and maximum predicates in logic programs. In: Proceedings of the ACM Symposium on Principles of Database Systems, pp. 154\u2013160 (1991)","DOI":"10.1145\/113413.113427"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Van Gelder, A.: The well-founded semantics of aggregation. In: Proc. ACM 11 th Principles of Database Systems, San Diego, pp. 127\u2013138 (1992)","DOI":"10.1145\/137097.137854"},{"issue":"1","key":"2_CR14","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/S0743-1066(98)10012-2","volume":"38","author":"D. Jana","year":"1999","unstructured":"Jana, D., Jayaraman, B.: Set constructors, finite sets, and logical semantics. Journal of Logic Programming\u00a038(1), 55\u201377 (1999)","journal-title":"Journal of Logic Programming"},{"key":"2_CR15","unstructured":"Jayaramanand, B., Moon, K.: Subset logic programs and their implementation. Journal of Logic Programming (1999) (to appear)"},{"issue":"2-3","key":"2_CR16","first-page":"104","volume":"II","author":"J. Dix","year":"1999","unstructured":"Dix, J., Arrazola, J., Osorio, M.: Confluent rewriting systems in non-monotonic reasoning. Computacion y Sistemas\u00a0II(2-3), 104\u2013123 (1999)","journal-title":"Computacion y Sistemas"},{"key":"2_CR17","volume-title":"Logic for problem solving","author":"R. Kowalski","year":"1979","unstructured":"Kowalski, R.: Logic for problem solving. North Holland Publishing Company, Amsterdam (1979)"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Kowalski, R., Toni, F.: Abstract Argumentation. Artificial Intelligence and Law Journal, 275\u2013296 (September 1996)","DOI":"10.1007\/BF00118494"},{"issue":"1","key":"2_CR19","first-page":"44","volume":"41","author":"G.M. Kuper","year":"1990","unstructured":"Kuper, G.M.: Logic programming with sets. JCSS\u00a041(1), 44\u201364 (1990)","journal-title":"JCSS"},{"key":"2_CR20","first-page":"83","volume-title":"Proceedings of the 1995 Int. Symposium on Logic Programming","author":"M. Liu","year":"1995","unstructured":"Liu, M.: Relationlog: A Typed Extension to Datalog with Sets and Tuples. In: Lloyd, J., Tick, E. (eds.) Proceedings of the 1995 Int. Symposium on Logic Programming, pp. 83\u201397. MIT, Cambridge (1995)"},{"key":"2_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1987)","edition":"2"},{"key":"2_CR22","first-page":"588","volume-title":"Proceedings of the International Conference on Logic Programming","author":"B. Jayaraman","year":"1999","unstructured":"Jayaraman, B., Osorio, M., Nieves, J.C.: Declarative pruning in a functional query language. In: De Schreye, D. (ed.) Proceedings of the International Conference on Logic Programming, pp. 588\u2013602. MIT Press, Cambridge (1999)"},{"issue":"3","key":"2_CR23","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0167-6423(98)00018-5","volume":"34","author":"B. Jayaraman","year":"1999","unstructured":"Jayaraman, B., Osorio, M., Plaisted, D.: Theory of partial-order programming. Science of Computer Programming\u00a034(3), 207\u2013238 (1999)","journal-title":"Science of Computer Programming"},{"key":"2_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-7288-6","volume-title":"Introduction Mathematical logic","author":"E. Mendelson","year":"1987","unstructured":"Mendelson, E.: Introduction Mathematical logic, 3rd edn. Wasdworth and Brooks\/Cole Advanced Books and Software, United Stated (1987)","edition":"3"},{"key":"2_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-49545-2_4","volume-title":"Logics in Artificial Intelligence","author":"M. Osorio","year":"1998","unstructured":"Osorio, M.: Semantics of partial-order programs. In: Dix, J., Fari\u00f1as del Cerro, L., Furbach, U. (eds.) JELIA 1998. LNCS (LNAI), vol.\u00a01489, pp. 47\u201361. Springer, Heidelberg (1998)"},{"issue":"3","key":"2_CR26","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF03037222","volume":"17","author":"M. Osorio","year":"1999","unstructured":"Osorio, M., Jayaraman, B.: Aggregation and negation-as-failure. New generation computing\u00a017(3), 255\u2013284 (1999)","journal-title":"New generation computing"},{"key":"2_CR27","unstructured":"Osorio, M., Nieves, J.C.: Extended partial-order logic programming. In: Rossi, G., Jayaraman, B. (eds.) Proceedings of the Workshop on Declarative Programming with Sets, Paris, France, pp. 19\u201326 (1999)"},{"key":"2_CR28","unstructured":"Osorio, M., Saucedo, E.: Aplicaci\u00f3n de wfsx en el campo de la bot\u00e1nica. In: Proceedings of II Encuentro Nacional de Computaci\u00f3n, Mexico (1999)"},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/3-540-46564-2_14","volume-title":"Foundations of Information and Knowledge Systems","author":"M. Osorio","year":"2000","unstructured":"Osorio, M., Zacarias, F.: High-level logic programming. In: Schewe, K.-D., Thalheim, B. (eds.) FoIKS 2000. LNCS, vol.\u00a01762, pp. 226\u2013240. Springer, Heidelberg (2000)"},{"issue":"6","key":"2_CR30","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.1145\/195613.195646","volume":"41","author":"K. Ross","year":"1994","unstructured":"Ross, K.: Modular stratification and magic sets for datalog programs with negation. Journal of the ACM\u00a041(6), 1216\u20131266 (1994)","journal-title":"Journal of the ACM"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Ross, K.A., Sagiv, Y.: Monotonic aggregation in deductive databases. In: Proc. 11th ACM Symp. on Principles of Database Systems, San Diego, pp. 114\u2013126 (1992)","DOI":"10.1145\/137097.137852"},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1145\/137097.137854","volume-title":"Proc. of the 11 th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"A. Gelder Van","year":"1992","unstructured":"Van Gelder, A.: The Well-Founded Semantics of aggregation. In: Proc. of the 11 th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, San Diego, USA, pp. 127\u2013138. ACM Press, New York (1992)"}],"container-title":["Lecture Notes in Computer Science","MICAI 2000: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10720076_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T11:35:49Z","timestamp":1556019349000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10720076_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540673545","9783540455622"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/10720076_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}