{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T19:24:18Z","timestamp":1768073058644,"version":"3.49.0"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031352539","type":"print"},{"value":"9783031352546","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-35254-6_18","type":"book-chapter","created":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T13:02:35Z","timestamp":1686920555000},"page":"224-236","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Ergo: A Quest for\u00a0Declarativity in\u00a0Logic Programming"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Grosof","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kifer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Theresa","family":"Swift","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Fodor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janine","family":"Bloomfield","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,6,17]]},"reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00881830","volume":"15","author":"F Baader","year":"1995","unstructured":"Baader, F., Hollunder, B.: Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. J. Autom. Reason. 15(1), 41\u201368 (1995)","journal-title":"J. Autom. Reason."},{"key":"18_CR2","unstructured":"Bonner, A., Kifer, M.: Transaction logic programming. In: Int\u2019l Conference on Logic Programming, pp. 257\u2013282. MIT Press, Budapest, Hungary (June 1993)"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0304-3975(94)90190-2","volume":"133","author":"A Bonner","year":"1994","unstructured":"Bonner, A., Kifer, M.: An overview of transaction logic. Theor. Comput. Sci. 133, 205\u2013265 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0004-3702(99)00015-6","volume":"109","author":"G Brewka","year":"1999","unstructured":"Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. Artif. Intell. 109, 297\u2013356 (1999)","journal-title":"Artif. Intell."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Brewka, G., Eiter, T.: Prioritizing default logic. In: Intellectics and Computational Logic - Papers in Honour of Wolfgang Bibel, pp. 27\u201345. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-94-015-9383-0_3"},{"issue":"3","key":"18_CR6","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.S.: HiLog: a foundation for higher-order logic programming. JLP 15(3), 187\u2013230 (1993)","journal-title":"JLP"},{"key":"18_CR7","unstructured":"Coherent Knowledge Systems: ErgoAI. A Website (2023). https:\/\/github.com\/ErgoAI"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S1471068402001539","volume":"2","author":"J Delgrande","year":"2003","unstructured":"Delgrande, J., Schaub, T., Tompits, H.: A framework for compiling preferences in logic programs. Theory Pract. Logic Program. 2, 129\u2013187 (2003)","journal-title":"Theory Pract. Logic Program."},{"issue":"1\u20132","key":"18_CR9","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0004-3702(01)00134-5","volume":"133","author":"P Dung","year":"2001","unstructured":"Dung, P., Son, T.: An argument-based approach to reasoning with specificity. Artif. Intell. 133(1\u20132), 35\u201385 (2001). https:\/\/doi.org\/10.1016\/S0004-3702(01)00134-5","journal-title":"Artif. Intell."},{"issue":"4","key":"18_CR10","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1017\/S1471068403001753","volume":"3","author":"T Eiter","year":"2003","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Computing preferred answer sets by meta-interpretation in answer set programming. Theory Pract. Logic Program. 3(4), 463\u2013498 (2003)","journal-title":"Theory Pract. Logic Program."},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/BFb0054795","volume-title":"Logic Programming and Knowledge Representation","author":"M Gelfond","year":"1998","unstructured":"Gelfond, M., Son, T.C.: Reasoning with prioritized defaults. In: Dix, J., Pereira, L.M., Przymusinski, T.C. (eds.) LPKR 1997. LNCS, vol. 1471, pp. 164\u2013223. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0054795"},{"key":"18_CR12","unstructured":"Grosof, B.: Logic programming in AI: some directions. In: Programming with High-Level Abstractions. Proceedings of the 3rd Workshop on Logic and Practice of Programming (LPOP), pp. 66\u201370 (2022)"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Grosof, B., Swift, T.: Radial Restraint: a semantically clean approach to bounded rationality for logic programs. In: Proceedings of AAAI (2013)","DOI":"10.1609\/aaai.v27i1.8682"},{"key":"18_CR14","unstructured":"Grosof, B., Swift, T.: PLOW: probabilistic logic over the well-founded semantics. In: AAAI Spring Symposium on Combining Machine Learning with Knowledge Engineering (AAAI-MAKE) (2019)"},{"key":"18_CR15","unstructured":"Grosof, B.: A courteous compiler from generalized courteous logic programs to ordinary logic programs. Tech. Rep. Supplementary Update Follow-On to RC 21472, IBM (July 1999)"},{"key":"18_CR16","unstructured":"IEP: Natural deduction. In: Feiser, J., Dowden, B. (eds.) Internet Encyclopedia of Philosophy. IEP (2023), a Peer-Reviewed Academic Resource. https:\/\/iep.utm.edu\/natural-deduction"},{"key":"18_CR17","unstructured":"ISO working group JTC1\/SC22: Prolog international standard ISO-IEC 13211\u20131. Tech. Rep., International Standards Organization (1995)"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Johnson, J., et al.: Image retrieval using scene graphs. In: Conference on Neural Information Processing Systems, pp. 3668\u20133678 (2015)","DOI":"10.1109\/CVPR.2015.7298990"},{"key":"18_CR19","unstructured":"Kifer, M.: Knowledge representation & reasoning with Flora-2. The Flora-2 Web Site (2022). http:\/\/flora.sourceforge.net"},{"key":"18_CR20","doi-asserted-by":"publisher","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. J. ACM 42, 741\u2013843 (1995)","journal-title":"J. ACM"},{"key":"18_CR21","unstructured":"Montani, M.H.I.: spaCy 2: natural language understanding with Bloom embeddings, convolutional neural networks and incremental parsing (2017). https:\/\/spacy.io"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Nute, D.: Defeasible logic. In: Handbook of logic in artificial intelligence and logic programming, pp. 353\u2013395. Oxford University Press (1994)","DOI":"10.1093\/oso\/9780198537472.003.0007"},{"issue":"1\u20132","key":"18_CR23","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF01531263","volume":"9","author":"H Prakken","year":"1993","unstructured":"Prakken, H.: An argumentation framework in default logic. Ann. Math. Artif. Intell. 9(1\u20132), 93\u2013132 (1993)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"2","key":"18_CR24","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s13740-012-0007-8","volume":"1","author":"M Rezk","year":"2012","unstructured":"Rezk, M., Kifer, M.: Transaction logic with partially defined actions. J. Data Semantics 1(2), 99\u2013131 (2012)","journal-title":"J. Data Semantics"},{"issue":"4\u20135","key":"18_CR25","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S147106841100010X","volume":"11","author":"F Riguzzi","year":"2011","unstructured":"Riguzzi, F., Swift, T.: The PITA system: Tabling and answer subsumption for reasoning under uncertainty. Theory Pract. Logic Program. 11(4\u20135), 433\u2013449 (2011)","journal-title":"Theory Pract. Logic Program."},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Riguzzi, F., Swift, T.: Terminating evaluation of logic programs with finite three-valued models. ACM Transactions on Computational Logic 15(4) (2014)","DOI":"10.1145\/2629337"},{"issue":"1\u20132","key":"18_CR27","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0004-3702(00)00054-0","volume":"123","author":"C Sakama","year":"2000","unstructured":"Sakama, C., Inoue, K.: Prioritized logic programming and its application to commonsense reasoning. Artif. Intell. 123(1\u20132), 185\u2013222 (2000)","journal-title":"Artif. Intell."},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"Swift, T.: Incremental tabling in support of knowledge representation and reasoning. Theory Pract. Logic Program. 14(4\u20135) (2014)","DOI":"10.1017\/S1471068414000209"},{"issue":"1\u20132","key":"18_CR29","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1017\/S1471068411000500","volume":"12","author":"T Swift","year":"2012","unstructured":"Swift, T., Warren, D.: XSB: extending the power of prolog using tabling. Theory Pract. Logic Program. 12(1\u20132), 157\u2013187 (2012)","journal-title":"Theory Pract. Logic Program."},{"key":"18_CR30","unstructured":"Swift, T., Warren, D., et\u00a0al.: The XSB Programmer\u2019s Manual: Volume, Version 5.0 (2022). http:\/\/xsb.sourceforge.net"},{"issue":"3","key":"18_CR31","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A van Gelder","year":"1991","unstructured":"van Gelder, A., Ross, K., Schlipf, J.: Unfounded sets and well-founded semantics for general logic programs. J. ACM 38(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"key":"18_CR32","unstructured":"Vickram Rajendran, W.L.: Accurate layerwise interpretable competence estimation. In: Conference on Neural Information Processing Systems (2019)"},{"key":"18_CR33","doi-asserted-by":"crossref","unstructured":"Wan, H., Grosof, B., Kifer, M., Fodor, P., Liang, S.: Logic programming with defaults and argumentation theories. In: International Conference on Logic Programming (July 2009)","DOI":"10.1007\/978-3-642-02846-5_35"},{"key":"18_CR34","doi-asserted-by":"crossref","unstructured":"Wan, H., Kifer, M., Grosof, B.: Defeasibility in answer set programs with defaults and argumentation rules. Semantic Web J. (2014)","DOI":"10.3233\/SW-140140"},{"key":"18_CR35","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/3-540-44957-4_11","volume-title":"Computational Logic \u2014 CL 2000","author":"K Wang","year":"2000","unstructured":"Wang, K., Zhou, L., Lin, F.: Alternating fixpoint theory for logic programs with priority. In: Lloyd, J., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Palamidessi, C., Pereira, L.M., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 164\u2013178. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44957-4_11"},{"key":"18_CR36","doi-asserted-by":"crossref","unstructured":"Warren, D.S.: Introduction to prolog. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. No. 13900 in LNCS, Springer (July 2023)","DOI":"10.1007\/978-3-031-35254-6"},{"issue":"1\u20132","key":"18_CR37","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1017\/S1471068411000494","volume":"12","author":"J Wielemaker","year":"2012","unstructured":"Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: SWI-prolog. Theory Pract. Logic Program. 12(1\u20132), 67\u201396 (2012)","journal-title":"Theory Pract. Logic Program."},{"key":"18_CR38","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-39733-5_4","volume":"2800","author":"G Yang","year":"2003","unstructured":"Yang, G., Kifer, M.: Inheritance in rule-based frame systems: semantics and inference. J. Data Semantics 2800, 69\u201397 (2003)","journal-title":"J. Data Semantics"},{"key":"18_CR39","doi-asserted-by":"crossref","unstructured":"Yang, G., Kifer, M., Zhao, C.: Flora-2: A rule-based knowledge representation and inference infrastructure for the Semantic Web. In: International Conference on Ontologies, Databases and Applications of Semantics (ODBASE-2003), pp. 671\u2013688 (2003)","DOI":"10.1007\/978-3-540-39964-3_43"},{"issue":"4","key":"18_CR40","first-page":"183","volume":"14","author":"Y Zhang","year":"2001","unstructured":"Zhang, Y., Wu, C., Bai, Y.: Implementing prioritized logic programming. AI Commun. 14(4), 183\u2013196 (2001)","journal-title":"AI Commun."}],"container-title":["Lecture Notes in Computer Science","Prolog: The Next 50 Years"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-35254-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,15]],"date-time":"2023-12-15T06:45:00Z","timestamp":1702622700000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-35254-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031352539","9783031352546"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-35254-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"17 June 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}