{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T18:11:05Z","timestamp":1743099065534,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030195694"},{"type":"electronic","value":"9783030195700"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-19570-0_37","type":"book-chapter","created":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T12:27:54Z","timestamp":1557145674000},"page":"559-575","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["$$\\mathsf {Uhura}$$ : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2694-6999","authenticated-orcid":false,"given":"Tobias","family":"Kain","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5673-2460","authenticated-orcid":false,"given":"Hans","family":"Tompits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,6]]},"reference":[{"key":"37_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"issue":"4\u20135","key":"37_CR2","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1017\/S1471068413000410","volume":"13","author":"P Busoniu","year":"2013","unstructured":"Busoniu, P., Oetsch, J., P\u00fchrer, J., Skocovsky, P., Tompits, H.: SeaLion: An Eclipse-based IDE for answer-set programming with advanced debugging support. Theory Pract. Log. Program. 13(4\u20135), 657\u2013673 (2013)","journal-title":"Theory Pract. Log. Program."},{"key":"37_CR3","unstructured":"Calimeri, F., et al.: ASP-Core-2: Input language format. ASP Standardization Working Group (2012)"},{"issue":"4\u20135","key":"37_CR4","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1017\/S147106841200021X","volume":"12","author":"M Vos De","year":"2012","unstructured":"De Vos, M., Kisa, D.G., Oetsch, J., P\u00fchrer, J., Tompits, H.: Annotating answer-set programs in Lana. Theory Pract. Log. Program. 12(4\u20135), 619\u2013637 (2012)","journal-title":"Theory Pract. Log. Program."},{"key":"37_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-319-23264-5_24","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C Dodaro","year":"2015","unstructured":"Dodaro, C., Gasteiger, P., Musitsch, B., Ricca, F., Shchekotykhin, K.: Interactive debugging of non-ground ASP programs. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 279\u2013293. Springer, Cham (2015). \n                      https:\/\/doi.org\/10.1007\/978-3-319-23264-5_24"},{"key":"37_CR6","unstructured":"Erdem, E., Erdogan, H., \u00d6ztok, U.: BioQuery-ASP: Querying biomedical ontologies using answer set programming. In: Proceedings of the 5th International RuleML2011@BRF Challenge. CEUR Workshop Proceedings, vol. 799. CEUR-WS.org (2011)"},{"issue":"1","key":"37_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1017\/S1471068413000598","volume":"15","author":"E Erdem","year":"2015","unstructured":"Erdem, E., \u00d6ztok, U.: Generating explanations for biomedical queries. Theory Pract. Log. Program. 15(1), 35\u201378 (2015)","journal-title":"Theory Pract. Log. Program."},{"key":"37_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-030-00801-7_8","volume-title":"Declarative Programming and Knowledge Management","author":"M Fang","year":"2018","unstructured":"Fang, M., Tompits, H.: An approach for representing answer sets in natural language. In: Seipel, D., Hanus, M., Abreu, S. (eds.) WFLP\/WLP\/INAP 2017. LNCS (LNAI), vol. 10997, pp. 115\u2013131. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-030-00801-7_8"},{"key":"37_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-642-20895-9_37","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"O Febbraro","year":"2011","unstructured":"Febbraro, O., Reale, K., Ricca, F.: ASPIDE: Integrated development environment for answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 317\u2013330. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-20895-9_37"},{"key":"37_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-642-41524-1_21","volume-title":"Applications of Declarative Programming and Knowledge Management","author":"O Febbraro","year":"2013","unstructured":"Febbraro, O., Leone, N., Reale, K., Ricca, F.: Unit testing in ASPIDE. In: Tompits, H., et al. (eds.) INAP\/WLP 2011. LNCS (LNAI), vol. 7773, pp. 345\u2013364. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-41524-1_21"},{"key":"37_CR11","unstructured":"Fuchs, N.E., Schwitter, R.: Attempto Controlled English (ACE). In: Proceedings of the First International Workshop on Controlled Language Applications (CLAW 1996). University of Leuven (1996)"},{"key":"37_CR12","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers (2012)","DOI":"10.2200\/S00457ED1V01Y201211AIM019"},{"key":"37_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139342124","volume-title":"Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach","author":"M Gelfond","year":"2014","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press, Cambridge (2014)"},{"key":"37_CR14","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP\/SLP), pp. 1070\u20131080. MIT Press (1988)"},{"key":"37_CR15","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 365\u2013385 (1991)","journal-title":"New Gener. Comput."},{"key":"37_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-319-61660-5_21","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"A Gre\u00dfler","year":"2017","unstructured":"Gre\u00dfler, A., Oetsch, J., Tompits, H.: \n                      \n                        \n                      \n                      $$\\sf Harvey$$\n                    : A system for random testing in ASP. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 229\u2013235. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-61660-5_21"},{"key":"37_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-319-10223-8_16","volume-title":"Controlled Natural Language","author":"S Guy","year":"2014","unstructured":"Guy, S., Schwitter, R.: Architecture of a web-based predictive editor for controlled natural language processing. In: Davis, B., Kaljurand, K., Kuhn, T. (eds.) CNL 2014. LNCS (LNAI), vol. 8625, pp. 167\u2013178. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-10223-8_16"},{"issue":"1","key":"37_CR18","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s10579-016-9338-7","volume":"51","author":"SC Guy","year":"2017","unstructured":"Guy, S.C., Schwitter, R.: The PENGASP system: Architecture, language and authoring tool. Lang. Resour. Eval. 51(1), 67\u201392 (2017)","journal-title":"Lang. Resour. Eval."},{"key":"37_CR19","unstructured":"Irlinger, M.: Combinatorial testing using answer-set programming. Bachelor\u2019s thesis, Technische Universit\u00e4t Wien, Institute of Information Systems, E184\/3 (2017)"},{"key":"37_CR20","unstructured":"Janhunen, T., Niemel\u00e4, I., Oetsch, J., P\u00fchrer, J., Tompits, H.: On testing answer-set programs. In: Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp. 951\u2013956. IOS Press (2010)"},{"key":"37_CR21","unstructured":"Kain, T.: Uhura: an authoring tool for translating controlled natural language into answer-set programs. Bachelor\u2019s thesis, Technische Universit\u00e4t Wien, Institute of Information Systems, E184\/3 (2017)"},{"issue":"1","key":"37_CR22","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1162\/COLI_a_00168","volume":"40","author":"T Kuhn","year":"2014","unstructured":"Kuhn, T.: A survey and classification of controlled natural languages. Comput. Linguist. 40(1), 121\u2013170 (2014)","journal-title":"Comput. Linguist."},{"issue":"3","key":"37_CR23","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"Nicola Leone","year":"2006","unstructured":"Leone, et al.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499\u2013562 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"key":"37_CR24","doi-asserted-by":"crossref","unstructured":"Mitra, A., Baral, C.: Learning to automatically solve logic grid puzzles. In: Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing (EMNLP 2015), pp. 1023\u20131033. The Association for Computational Linguistics (2015)","DOI":"10.18653\/v1\/D15-1118"},{"issue":"1","key":"37_CR25","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1017\/S1471068417000217","volume":"18","author":"J Oetsch","year":"2018","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: Stepwise debugging of answer-set programs. Theory Pract. Log. Program. 18(1), 30\u201380 (2018)","journal-title":"Theory Pract. Log. Program."},{"key":"37_CR26","unstructured":"Potassco. \n                      http:\/\/potassco.sourceforge.net"},{"key":"37_CR27","unstructured":"Ricca, F.: The DLV Java wrapper. In: Proceedings of the 8th Joint Conference on Declarative Programming (AGP 2003), pp. 263\u2013274 (2003)"},{"key":"37_CR28","unstructured":"Schwitter, R.: English as a formal specification language. In: Proceedings of the 13th International Workshop on Database and Expert Systems Applications (DEXA 2002), pp. 228\u2013232. IEEE (2002)"},{"key":"37_CR29","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-89378-3_17","volume-title":"AI 2008: Advances in Artificial Intelligence","author":"R Schwitter","year":"2008","unstructured":"Schwitter, R.: Working for two: A bidirectional grammar for a controlled natural language. In: Wobcke, W., Zhang, M. (eds.) AI 2008. LNCS (LNAI), vol. 5360, pp. 168\u2013179. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-89378-3_17"},{"issue":"4\u20135","key":"37_CR30","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1017\/S1471068413000306","volume":"13","author":"R Schwitter","year":"2013","unstructured":"Schwitter, R.: The jobs puzzle: Taking on the challenge via controlled natural language processing. Theory Pract. Log. Program. 13(4\u20135), 487\u2013501 (2013)","journal-title":"Theory Pract. Log. Program."},{"key":"37_CR31","volume-title":"Automated reasoning: Introduction and applications","author":"L Wos","year":"1984","unstructured":"Wos, L., Overbeck, R., Lusk, E., Boyle, J.: Automated reasoning: Introduction and applications. Prentice Hall Inc., Upper Saddle River (1984)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19570-0_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T10:38:53Z","timestamp":1558348733000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19570-0_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030195694","9783030195700"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19570-0_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"6 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rende","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jelia2019.mat.unical.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}