{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:22:53Z","timestamp":1760170973209,"version":"3.37.3"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,2,4]],"date-time":"2016-02-04T00:00:00Z","timestamp":1454544000000},"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":["Lang Resources & Evaluation"],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1007\/s10579-016-9338-7","type":"journal-article","created":{"date-parts":[[2016,2,4]],"date-time":"2016-02-04T10:21:56Z","timestamp":1454581316000},"page":"67-92","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["The PENG ASP system: architecture, language and authoring tool"],"prefix":"10.1007","volume":"51","author":[{"given":"Stephen C.","family":"Guy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8998-7005","authenticated-orcid":false,"given":"Rolf","family":"Schwitter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,2,4]]},"reference":[{"key":"9338_CR1","unstructured":"Baral, C., & Dzifcak J. (2012). Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation. In Proceedings of KR 2012 (pp. 573\u2013577)."},{"key":"9338_CR2","unstructured":"Baral, C., Dzifcak, J., & Son, T. C. (2008). Using Answer Set Programming and lambda calculus to characterize natural language sentences with normatives and exceptions. In Proceedings of the twenty-third conference on artificial intelligence (AAAI 2008) (pp. 818\u2013823)."},{"issue":"12","key":"9338_CR3","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., & Truszczy\u0144ski, M. (2011). Answer Set Programming at a glance. Communications of the ACM, 54(12), 92\u2013103.","journal-title":"Communications of the ACM"},{"key":"9338_CR4","unstructured":"Clark, P., Harrison, P., Jenkins, T., Thompson, J., & Wojcik, R. (2005). Acquiring and using world knowledge using a restricted subset of English. In The 18th international FLAIRS conference (FLAIRS\u201905) (pp. 506\u2013511)."},{"key":"9338_CR5","unstructured":"Clark, P., & Porter, B. (2011). KM\u2014The knowledge machine 2.0: User manual."},{"key":"9338_CR6","doi-asserted-by":"crossref","unstructured":"Doherty, P., & Kvarnstr\u00f6m, J. (2008). Temporal action logics. In B. Porter, V. Lifschitz, & F. van Harmelen (Eds.), Handbook of knowledge representation, Chapter 18 (pp. 709\u2013757). Elsevier.","DOI":"10.1016\/S1574-6526(07)03018-0"},{"key":"9338_CR7","unstructured":"Erdem, E., Erdogan, H., & \u00d6ztok, U. (2011). BIOQUERY-ASP: Querying biomedical ontologies using Answer Set Programming. In Proceedings of the 5th international RuleML2011@BRF challenge, co-located with the 5th international rule symposium, Fort Lauderdale, FL, USA, November 3\u20135."},{"key":"9338_CR8","doi-asserted-by":"crossref","unstructured":"Erdem, E., & Yeniterzi, R. (2009). Transforming controlled natural language biomedical queries into Answer Set Programs. In Proceedings of the workshop on BioNLP (pp. 117\u2013124), Boulder, CO.","DOI":"10.3115\/1572364.1572381"},{"issue":"1\u20132","key":"9338_CR9","first-page":"113","volume":"89","author":"O Etzioni","year":"1998","unstructured":"Etzioni, O., Golden, K., & Weld, D. (1998). Sound and efficient closed-world reasoning for planning. Artificial Intelligence, 89(1\u20132), 113\u2013148.","journal-title":"Artificial Intelligence"},{"key":"9338_CR10","unstructured":"Franconi, E., Guagliardo, P., Trevisan, M., & Tessaris S. (2011). Quelo: An ontology-driven query interface. In Proceedings of the 24th international workshop on description logics (DL 2011)."},{"key":"9338_CR11","unstructured":"Freeman, E., Robson, E., Bates, B., & Sierra, K. (2004). Head first design patterns (pp. 526\u2013577). O\u2019Reilly."},{"key":"9338_CR12","doi-asserted-by":"crossref","unstructured":"Fuchs, N. E., Kaljurand, K., & Kuhn, T. (2008). Attempto controlled English for knowledge representation. In C. Baroglio, P. A. Bonatti, J. Maluszynski, M. Marchiori, A. Polleres, & S. Schaffert (Eds.), Reasoning Web, fourth international summer school 2008, LNCS 5224 (pp. 104\u2013124).","DOI":"10.1007\/978-3-540-85658-0_3"},{"issue":"2","key":"9338_CR13","doi-asserted-by":"crossref","first-page":"105","DOI":"10.3233\/AIC-2011-0497","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., & Schneider, M. (2011). Potassco: The Potsdam Answer Set solving collection. AI Communications, 24(2), 105\u2013124.","journal-title":"AI Communications"},{"issue":"3","key":"9338_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2200\/S00457ED1V01Y201211AIM019","volume":"6","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2012). Answer Set Solving in practice. Synthesis Lectures on Artificial Intelligence and Machine Learning, 6(3), 1\u2013238.","journal-title":"Synthesis Lectures on Artificial Intelligence and Machine Learning"},{"key":"9338_CR15","doi-asserted-by":"crossref","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. (2014). Knowledge representation, reasoning, and the design of intelligent agents, the Answer-Set Programming approach. Cambridge: Cambridge University Press."},{"key":"9338_CR16","unstructured":"Gelfond, M., & Lifschitz, V. (1988). The stable model semantics for logic programming. In Proceedings of the fifth international conference on logic programming (ICLP) (pp. 1070\u20131080)."},{"key":"9338_CR17","doi-asserted-by":"crossref","unstructured":"Grasso, G., Leone, N., & Ricca, F. (2013). Answer Set Programming: Language, applications and development tools. In W. Faber, & D. Lembo (Eds.), Web reasoning and rule systems (RR 2013), LNCS 7994 (pp. 19\u201334).","DOI":"10.1007\/978-3-642-39666-3_3"},{"issue":"3","key":"9338_CR18","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1609\/aimag.v31i3.2302","volume":"31","author":"D Gunning","year":"2010","unstructured":"Gunning, D., Chaudhri, V. K., Clark, P., Barker, K., et al. (2010). Project Halo update\u2014Progress toward digital Aristotle. AI Magazine, 31(3), 33\u201358.","journal-title":"AI Magazine"},{"key":"9338_CR19","doi-asserted-by":"crossref","unstructured":"Guy, S., & Schwitter, R. (2014). Architecture of a Web-based predictive editor for controlled natural language processing. In B. Davis, et al. (Eds.), CNL 2014, LNAI 8625 (pp. 167\u2013178).","DOI":"10.1007\/978-3-319-10223-8_16"},{"key":"9338_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-1616-1","volume-title":"From discourse to logic","author":"H Kamp","year":"1993","unstructured":"Kamp, H., & Reyle, U. (1993). From discourse to logic. Dordrecht: Kluwer."},{"key":"9338_CR21","unstructured":"Kim, T.-W., Lee, J., & Palla, R. (2009). Circumscriptive event calculus as Answer Set Programming. In Proceedings of 21st international joint conference on artificial intelligence (IJCAI 2009) (pp. 823\u2013829)."},{"issue":"4","key":"9338_CR22","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/j.websem.2007.09.001","volume":"5","author":"M Kr\u00f6tzsch","year":"2007","unstructured":"Kr\u00f6tzsch, M., Vrande\u010di\u0107, C., V\u00f6lkel, M., Haller, H., & Studer, R. (2007). Semantic Wikipedia. Journal of Web Semantics, 5(4), 251\u2013261.","journal-title":"Journal of Web Semantics"},{"key":"9338_CR23","unstructured":"Kuhn, T. (2008). AceWiki: A natural and expressive semantic Wiki. In CEUR workshop proceedings semantic Web user interaction at CHI 2008: Exploring HCI challenges."},{"key":"9338_CR24","unstructured":"Kuhn, T. (2010). Controlled English for knowledge representation. Doctoral thesis, Faculty of Economics, Business Administration and Information Technology of the University of Zurich."},{"issue":"1","key":"9338_CR25","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1162\/COLI_a_00168","volume":"40","author":"T Kuhn","year":"2014","unstructured":"Kuhn, T. (2014). A survey and classification of controlled natural languages. Computational Linguistics, 40(1), 121\u2013170.","journal-title":"Computational Linguistics"},{"key":"9338_CR26","unstructured":"Lee, J., & Palla, R. (2012). Reformulating temporal action logics in answer set programming. In Proceedings of the AAAI conference on artificial intelligence (AAAI) (pp. 786\u2013792)."},{"key":"9338_CR27","unstructured":"Lierler, Y., & Lifschitz, V. (2013). Logic programs vs. first-order formulas in textual inference. In Proceedings of the 10th international conference on computational semantics (IWCS 2013) (pp. 340\u2013346), Potsdam, Germany."},{"key":"9338_CR28","unstructured":"Lifschitz, V. (2008). What is Answer Set Programming? In Proceedings of AAAI 2008 (pp. 1594\u20131597)."},{"key":"9338_CR29","volume-title":"Commonsense reasoning: An event calculus based approach","author":"ET Mueller","year":"2014","unstructured":"Mueller, E. T. (2014). Commonsense reasoning: An event calculus based approach (2nd ed.). Los Altos: Morgan Kaufmann.","edition":"2"},{"key":"9338_CR30","first-page":"44","volume-title":"Proceedings of CNL 2012","author":"R Power","year":"2012","unstructured":"Power, R. (2012). OWL simplified English: A finite-state language for ontology editing. In T. Kuhn & N. E. Fuchs (Eds.), Proceedings of CNL 2012 (pp. 44\u201360). Heidelberg: Springer."},{"key":"9338_CR31","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence, 13, 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"9338_CR32","doi-asserted-by":"crossref","unstructured":"Sch\u00fcller, P. (2013). Flexible combinatory categorial grammar parsing using the CYK algorithm and Answer Set Programming. In P. Cabalar, & T. C. Son (Eds.), Logic programming and nonmonotonic reasoning (LPNMR), LNCS 8148 (pp. 499\u2013511).","DOI":"10.1007\/978-3-642-40564-8_49"},{"key":"9338_CR33","unstructured":"Schwitter, R. (2010). Controlled natural languages for knowledge representation. In Proceedings of COLING 2010 (pp. 1113\u20131121), Beijing, China."},{"key":"9338_CR34","doi-asserted-by":"crossref","unstructured":"Schwitter, R. (2011). Specifying events and their effects in controlled natural language. In N. A. Aziz, K. Hasida, A. W. A. Rahman, & H. Saito (Eds.), Computational linguistics and related eields, procedia\u2014Social and behavioral sciences (vol. 27, pp. 12\u201321). Elsevier.","DOI":"10.1016\/j.sbspro.2011.10.578"},{"key":"9338_CR35","unstructured":"Schwitter, R., Ljungberg, A., & Hood, D. (2003). ECOLE: A look-ahead editor for a controlled language. In Proceedings of EAMT-CLAW03 (pp. 141\u2013150), Dublin."},{"key":"9338_CR36","volume-title":"Solving the frame problem: A mathematical investigation of the common sense law of inertia","author":"M Shanahan","year":"1997","unstructured":"Shanahan, M. (1997). Solving the frame problem: A mathematical investigation of the common sense law of inertia. Cambridge, MA: MIT Press."},{"key":"9338_CR37","unstructured":"Sommerville, I. (2011). Software engineering, international edition (9th edn, pp. 155\u2013164). New York: Pearson."},{"issue":"3","key":"9338_CR38","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1147\/sj.413.0331","volume":"41","author":"JF Sowa","year":"2002","unstructured":"Sowa, J. F. (2002). Architectures for intelligent systems. Special Issue on Artificial Intelligence of the IBM Systems Journal, 41(3), 331\u2013349.","journal-title":"Special Issue on Artificial Intelligence of the IBM Systems Journal"},{"key":"9338_CR39","doi-asserted-by":"crossref","unstructured":"Tennant, H. R., Ross, K. M., Saenz, R. M., Thompson, C. W., & Miller, J. R. (1983) Menu-based natural language understanding. In Proceedings of ACL (pp. 151\u2013158).","DOI":"10.3115\/981311.981341"},{"key":"9338_CR40","doi-asserted-by":"crossref","unstructured":"Todorova, Y., & Gelfond, M. (2012). Toward question answering in travel domains. In E. Erdem, et al. (Eds.), Correct reasoning, LNCS 7265 (pp. 311\u2013326).","DOI":"10.1007\/978-3-642-30743-0_21"},{"key":"9338_CR41","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/B978-0-444-53726-3.00003-7","volume-title":"Handbook of logic and language","author":"J Eijck van","year":"2011","unstructured":"van Eijck, J., & Kamp, H. (2011). Discourse representation in context. In J. van Benthem & A. ter Meulen (Eds.), Handbook of logic and language (2nd ed., pp. 181\u2013252). Amsterdam: Elsevier.","edition":"2"}],"container-title":["Language Resources and Evaluation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10579-016-9338-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10579-016-9338-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10579-016-9338-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10579-016-9338-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T04:49:57Z","timestamp":1718340597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10579-016-9338-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,4]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["9338"],"URL":"https:\/\/doi.org\/10.1007\/s10579-016-9338-7","relation":{},"ISSN":["1574-020X","1574-0218"],"issn-type":[{"type":"print","value":"1574-020X"},{"type":"electronic","value":"1574-0218"}],"subject":[],"published":{"date-parts":[[2016,2,4]]}}}