{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T21:38:05Z","timestamp":1771018685895,"version":"3.50.1"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030008000","type":"print"},{"value":"9783030008017","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-030-00801-7_8","type":"book-chapter","created":{"date-parts":[[2018,9,25]],"date-time":"2018-09-25T23:02:38Z","timestamp":1537916558000},"page":"115-131","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["An Approach for Representing Answer Sets in Natural Language"],"prefix":"10.1007","author":[{"given":"Min","family":"Fang","sequence":"first","affiliation":[]},{"given":"Hans","family":"Tompits","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,27]]},"reference":[{"key":"8_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":"8_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."},{"issue":"4\u20135","key":"8_CR3","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1017\/S147106841200021X","volume":"12","author":"M Vos De","year":"2012","unstructured":"De Vos, M., Kiza, D., 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":"8_CR4","unstructured":"Erdem, E., Erdogan, H., \u00d6ztok, U.: BioQuery-ASP: querying biomedical ontologies using answer set programming. In: Proceedings of 5th International RuleML2011@BRF Challenge, CEUR Workshop Proceedings, vol. 799. CEUR-WS.org (2011)"},{"issue":"1","key":"8_CR5","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":"8_CR6","doi-asserted-by":"crossref","unstructured":"Erdem, E., Yeniterzi, R.: Transforming controlled natural language biomedical queries into answer set programs. In: Proceedings of Workshop on Current Trends in Biomedical Natural Language Processing, pp. 117\u2013124 (2009)","DOI":"10.3115\/1572364.1572381"},{"key":"8_CR7","unstructured":"Fang, M.: A controlled natural language approach for interpreting answer sets. B.Sc. thesis, Technische Universit\u00e4t Wien, Institute for Information Systems (2013)"},{"key":"8_CR8","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). https:\/\/doi.org\/10.1007\/978-3-642-20895-9_37"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-85658-0_3","volume-title":"Reasoning Web","author":"NE Fuchs","year":"2008","unstructured":"Fuchs, N.E., Kaljurand, K., Kuhn, T.: Attempto controlled english for knowledge representation. In: Baroglio, C., Bonatti, P.A., Ma\u0142uszy\u0144ski, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol. 5224, pp. 104\u2013124. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85658-0_3"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48958-4_1","volume-title":"Logic-Based Program Synthesis and Transformation","author":"NE Fuchs","year":"1999","unstructured":"Fuchs, N.E., Schwertel, U., Schwitter, R.: Attempto controlled English\u2014not just another logic specification language. In: Flener, P. (ed.) LOPSTR 1998. LNCS, vol. 1559, pp. 1\u201320. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48958-4_1"},{"key":"8_CR11","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of 5th International Conference and Symposium on Logic Programming (ICLP\/SLP 1988), vol. 88, pp. 1070\u20131080 (1988)"},{"issue":"1","key":"8_CR12","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s10579-016-9338-7","volume":"51","author":"S Guy","year":"2017","unstructured":"Guy, S., Schwitter, R.: The PENG ASP system: architecture, language and authoring tool. Lang. Resour. Eval. 51(1), 67\u201392 (2017)","journal-title":"Lang. Resour. Eval."},{"key":"8_CR13","volume-title":"An Introduction to Functional Grammar","author":"MA Halliday","year":"2004","unstructured":"Halliday, M.A., Matthiessen, C.M.: An Introduction to Functional Grammar. Arnold Publishers, London (2004)"},{"key":"8_CR14","doi-asserted-by":"crossref","DOI":"10.1201\/9781420085938","volume-title":"Handbook of Natural Language Processing","author":"N Indurkhya","year":"2010","unstructured":"Indurkhya, N., Damerau, F.J.: Handbook of Natural Language Processing. CRC Press, Boca Raton (2010)"},{"issue":"1","key":"8_CR15","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":"8_CR16","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., et al.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log."},{"issue":"1","key":"8_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1471068408003633","volume":"9","author":"E Pontelli","year":"2009","unstructured":"Pontelli, E., Son, T.C., El-Khatib, O.: Justifications for logic programs under answer set semantics. Theory Pract. Log. Program. 9(1), 1\u201356 (2009)","journal-title":"Theory Pract. Log. Program."},{"key":"8_CR18","unstructured":"Potassco\u2014The Potsdam Answer Set Solving Collection. http:\/\/potassco.sourceforge.net"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Schwitter, R.: English as a formal specification language. In: Proceedings of 13th International Conference on Database and Expert Systems Applications (DEXA 2002), pp. 228\u2013232. IEEE (2002)","DOI":"10.1109\/DEXA.2002.1045903"},{"key":"8_CR20","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). https:\/\/doi.org\/10.1007\/978-3-540-89378-3_17"},{"key":"8_CR21","unstructured":"Schwitter, R.: Controlled natural languages for knowledge representation. In: Proceedings of 23rd International Conference on Computational Linguistics (COLING 2010), pp. 1113\u20131121 (2010)"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-642-32612-7_3","volume-title":"Controlled Natural Language","author":"R Schwitter","year":"2012","unstructured":"Schwitter, R.: Answer set programming via controlled natural language processing. In: Kuhn, T., Fuchs, N.E. (eds.) CNL 2012. LNCS (LNAI), vol. 7427, pp. 26\u201343. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32612-7_3"},{"issue":"4\u20135","key":"8_CR23","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":"8_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/978-3-540-71009-7_39","volume-title":"New Frontiers in Artificial Intelligence","author":"R Schwitter","year":"2007","unstructured":"Schwitter, R., Tilbrook, M.: Dynamic semantics at work. In: Sakurai, A., Hasida, K., Nitta, K. (eds.) JSAI 2003-2004. LNCS (LNAI), vol. 3609, pp. 416\u2013426. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71009-7_39"},{"key":"8_CR25","unstructured":"Syrj\u00e4nen, T.: Debugging inconsistent answer set programs. In: Proceedings of 11th International Workshop on Non-Monotonic Reasoning (NMR 2006), pp. 77\u201383. Institut f\u00fcr Informatik, Technische Universit\u00e4t Clausthal, Technical report (2006)"},{"key":"8_CR26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139164320","volume-title":"An Introduction to Syntax","author":"RD Valin Van","year":"2001","unstructured":"Van Valin, R.D.: An Introduction to Syntax. Cambridge University Press, Cambridge (2001)"}],"container-title":["Lecture Notes in Computer Science","Declarative Programming and Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00801-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,20]],"date-time":"2025-08-20T04:37:20Z","timestamp":1755664640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00801-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030008000","9783030008017"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00801-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"INAP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications of Declarative Programming and Knowledge Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"W\u00fcrzburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"inap2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/declare17.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}