{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:24:11Z","timestamp":1725488651371},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540671008"},{"type":"electronic","value":"9783540465645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46564-2_14","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T10:03:18Z","timestamp":1186826598000},"page":"226-240","source":"Crossref","is-referenced-by-count":3,"title":["High-Level Logic Programming"],"prefix":"10.1007","author":[{"given":"Mauricio","family":"Osorio","sequence":"first","affiliation":[]},{"given":"Fernando","family":"Zacarias","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,11,9]]},"reference":[{"issue":"2\u20133","key":"14_CR1","first-page":"104","volume":"II","author":"J. Arrazola","year":"1999","unstructured":"J. Arrazola, J. Dix y M. Osorio. Confluent term Rewriting Systems for Non-Monotonic Reasoning. Computaci\u0144 y Sistemas, II(2\u20133). pp. 104\u2013123, 1999. M\u00e9xico.","journal-title":"Computaci\u0144 y Sistemas"},{"issue":"1","key":"14_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/103140.103141","volume":"16","author":"S. Abiteboul","year":"1991","unstructured":"S. Abiteboul and S. Grumbach, \u201cA Rule-Based Language with Functions and Sets,\u201d ACM Transactions on Database Systems, 16(1):1\u201330,1991.","journal-title":"ACM Transactions on Database Systems"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"C. Beeri, S. Naqvi, et al, \u201cSets and Negation in a Logic Database Language (LDL1),\u201d Proc. 6th ACM Principles of Database Systems, pp. 21\u201337, 1987.","DOI":"10.1145\/28659.28662"},{"key":"14_CR4","volume-title":"Proc. of the Fifth Intern. Conf. on Principles of Knowledge Repr. and Reasoning (KR\u2019 96)","author":"S. Brass","year":"1996","unstructured":"S. Brass, J. Dix, T. Przymusinski, \u201cSuper Logic Programs,\u201d Proc. of the Fifth Intern. Conf. on Principles of Knowledge Repr. and Reasoning (KR\u2019 96), L. C. Aiello, J. Doyle and S. C. Shapiro (eds.), Morgan Kaufmann, San Francisco 1996."},{"issue":"3","key":"14_CR5","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0743-1066(96)00115-X","volume":"32","author":"S. Brass","year":"1997","unstructured":"Stefan Brass and J\u00fcrgen Dix. Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. Journal of Logic Programming, 32(3):207\u2013228, 1997. (Extended abstract appeared in: Characterizations of the Stable Semantics by Partial Evaluation LPNMR, Proceedings of the Third International Conference, Kentucky, pages 85\u201398, 1995. LNCS 928, Springer.).","journal-title":"Journal of Logic Programming"},{"key":"14_CR6","unstructured":"Stefan Brass and J\u00fcrgen Dix. Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA. Journal of Automated Reasoning, to appear, 1998. (Extended abstract appeared in: Characterizing D-WFS: Confluence and Iterated GCWA. Logics in Artificial Intelligence, JELIA\u2019 96, pages 268\u2013283, 1996. Springer, LNCS 1126.)."},{"key":"14_CR7","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/BFb0023807","volume-title":"Nonmonotonic Extensions of Logic Programming","author":"S. Brass","year":"1997","unstructured":"Stefan Brass, Ulrich Zukowski, and Burkhardt Freitag. Transformation Based Bottom-Up Computation of the Well-Founded Model. In J. Dix, L. Pereira, and T. Przymusinski, editors, Nonmonotonic Extensions of Logic Programming, LNAI 1216, pages 171\u2013201. Springer, Berlin, 1997."},{"key":"14_CR8","unstructured":"Gerhard Brewka and J\u00fcrgen Dix. Knowledge representation with logic programs. Technical report, Tutorial Notes of the 12th European Conference on Artificial Intelligence (ECAI\u2019 96), 1996. Also appeare d as Technical Report 15\/96, Dept. of CS of the University of Koblenz-Landau. Will appear as Chapter 6 in Handbook of Philosophical Logic, 2nd edition (1998), Volume 6, Methodologies."},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data-Bases","author":"K. L. Clark","year":"1978","unstructured":"Keith L. Clark. Negation as Failure. In H. Gallaire and J. Minker, editors, Logic and Data-Bases, pages 293\u2013322. Plenum, New York, 1978."},{"key":"14_CR10","unstructured":"Dovier, A., Omodeo, E. G., Pontelli, E., and Rossi, G. \u201c{log }: A Logic Programming Language with Finite Sets,\u201d Proc. 8th International Conference of Logic Programming, pp. 111\u2013124, Paris, June 1991."},{"key":"14_CR11","first-page":"591","volume-title":"Principles of Knowledge Representation and Reas oning: Proceedings of the Third International Conference (KR\u2019 92)","author":"J. Dix","year":"1992","unstructured":"J\u00fcrgen Dix. A Framework for Representing and Characterizing Semantics of Logic Programs. In B. Nebel, C. Rich, and W. Swartout, editors, Principles of Knowledge Representation and Reas oning: Proceedings of the Third International Conference (KR\u2019 92), pages 591\u2013602. San Mateo, CA, Morgan Kaufmann, 1992."},{"issue":"3","key":"14_CR12","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/FI-1995-2234","volume":"XXII","author":"J. Dix","year":"1995","unstructured":"J\u00fcrgen Dix. A Classification-Theory of Semantics of Normal Logic Programs: II. Weak Properties. Fundamenta Informaticae, XXII(3):257\u2013288, 1995.","journal-title":"Fundamenta Informaticae"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"G. Ganguly, S. Greco, and C. Zaniolo, \u201cMinimum and maximum predicates in logic programs\u201d, Proceedings of the ACM Symposium on Principles of Database Systems, pp 154\u2013163, 1991.","DOI":"10.1145\/113413.113427"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"Allen van Gelder, Kenneth A. Ross, and John S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38:620\u2013650, 1991.","journal-title":"Journal of the ACM"},{"issue":"4","key":"14_CR15","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/0743-1066(92)90005-N","volume":"11","author":"B. Jayaraman","year":"1992","unstructured":"B. Jayaraman, \u201cImplementation of Subset-Equational Programs,\u201d Journal of Logic Programming, 11(4):299\u2013324, 1992.","journal-title":"Journal of Logic Programming"},{"key":"14_CR16","unstructured":"D. Jana, \u201cSemantics of Subset-Logic Languages,\u201d dissertation submitted to SUNY-Buffalo, 1994."},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"B. Jayaraman, M. Osorio and K. Moon, \u201cPartial Order Programming (revisited)\u201d, Proc. AMAST, Springer-Verlag, July 1995.","DOI":"10.1007\/3-540-60043-4_78"},{"key":"14_CR18","unstructured":"Jayaraman, B. and Plaisted, D. A., \u201cProgramming with Equations, Subsets, and Relations,\u201d Proc. North American Conference of Logic Programming 89, pp. 1051\u20131068, Cleveland, October 1989."},{"issue":"1","key":"14_CR19","first-page":"44","volume":"41","author":"G. M. Kuper","year":"1990","unstructured":"Kuper, G. M., \u201cLogic Programming with Sets,\u201d JCSS, 41(1):44\u201364, 1990.","journal-title":"JCSS"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"J. Lloyd, \u201cFoundations of Logic Programming,\u201d (2 ed.) Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"14_CR21","unstructured":"M. Liu., \u201cRelationlog: A typed extension to Datalog with Sets and Tuples,\u201d Proc. ISLP95 pp. 83\u201397. MIT Press. June 1995."},{"key":"14_CR22","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":"John W. Lloyd. Foundations of Logic Programming. Springer, Berlin, 1987. 2nd edition.","edition":"2nd edition"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Mauricio Osorio y B. Jayaraman Integrating the Completion and the Well Founded Semantics. Titulo del libro: Progress in Artificial Intelligence IBERAMIA 98. Ed. Springer-Verlag. ISBN 3-540-64992-1. pp 230\u2013241. Alemania 1998.","DOI":"10.1007\/3-540-49795-1_20"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"M. Osorio and B. Jayaraman, \u201cAggregation and Negation as Failure\u201d, New Genetation Computing, 17(3), 1999.","DOI":"10.1007\/BF03037222"},{"key":"14_CR25","unstructured":"M. Osorio, B. Jayaraman and J. C. Nieves \u201cDeclarative Pruning in a Functional Query Language\u201d, accepted ICLP99."},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Mauricio Osorio, B. Jayaraman and D. Plaisted \u201cTheory of partial-order programming,\u201d in Science of computer programming Journal, (34)3, 1999.","DOI":"10.1016\/S0167-6423(98)00018-5"},{"key":"14_CR27","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/BFb0023802","volume-title":"Nonmonotonic Extensions of Logic Programming","author":"M. Osorio","year":"1997","unstructured":"M. Osorio, B. Jayaraman, \u201cAggregation and WFS+\u201d, In J. Dix, L. Pereida, and T. Przymusinski, editors, Nonmonotonic Extensions of Logic Programming, LNAI 1216, pp. 71\u201390. Springer, Berlin 1997"},{"key":"14_CR28","unstructured":"Mauricio Osorio, \u201cSemantics of Partial order programming,\u201d presented at JELIA98, Germany, Oct. 1998 appears in Proc. JELIA98, pp. 47\u201361, LNAI 1489, Springer-Verlag, 1998."},{"issue":"6","key":"14_CR29","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.1145\/195613.195646","volume":"41","author":"K. Ross","year":"1994","unstructured":"K. Ross, \u201cModular Stratification and Magic Sets for DATALOG Programs with negation\u201d, Journal of the ACM, Vol. 41, No. 6, November 1994, pp. 1216\u20131266.","journal-title":"Journal of the ACM"},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"K.A. Ross and Y. Sagiv, \u201cMonotonic Aggregation in Deductive Databases,\u201d Proc. 11th ACM Symposium on Principles of Database Systems, pp. 114\u2013126, San Diego, 1992.","DOI":"10.1145\/137097.137852"},{"key":"14_CR31","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, \u201cThe Well-Founded Semantics of Aggregation,\u201d Proc. ACM 11th Principles of Database Systems, pp. 127\u2013138, San Diego, 1992.","DOI":"10.1145\/137097.137854"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46564-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T20:00:44Z","timestamp":1587844844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46564-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540671008","9783540465645"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-46564-2_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}