{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T16:42:23Z","timestamp":1779122543447,"version":"3.51.4"},"reference-count":14,"publisher":"MIT Press - Journals","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computational Linguistics"],"published-print":{"date-parts":[[2016,9]]},"abstract":"<jats:p> The syntax of abstract meaning representations (AMRs) can be defined recursively, and a systematic translation to first-order logic (FOL) can be specified, including a proper treatment of negation. AMRs without recurrent variables are in the decidable two-variable fragment of FOL. The current definition of AMRs has limited expressive power for universal quantification (up to one universal quantifier per sentence). A simple extension of the AMR syntax and translation to FOL provides the means to represent projection and scope phenomena. <\/jats:p>","DOI":"10.1162\/coli_a_00257","type":"journal-article","created":{"date-parts":[[2016,6,17]],"date-time":"2016-06-17T19:28:59Z","timestamp":1466191739000},"page":"527-535","source":"Crossref","is-referenced-by-count":18,"title":["Expressive Power of Abstract Meaning Representations"],"prefix":"10.1162","volume":"42","author":[{"given":"Johan","family":"Bos","sequence":"first","affiliation":[{"name":"University of Groningen"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"281","reference":[{"key":"R1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D15-1198"},{"key":"R3","unstructured":"Bender, Emily M., Dan Flickinger, Stephan Oepen, Woodley Packard, and Ann Copestake. 2015. Layers of interpretation: On grammar and compositionality. In Proceedings of the 11th International Conference on Computational Semantics, pages 239\u2013249, London."},{"key":"R5","doi-asserted-by":"crossref","unstructured":"Bos, Johan. 2010. Economical discourse representation theory. In CNL 2009 Workshop, pages 121\u2013134, Marettimo Island.","DOI":"10.1007\/978-3-642-14418-9_8"},{"key":"R6","unstructured":"Cai, Shu and Kevin Knight. 2013. Smatch: An evaluation metric for semantic feature structures. In Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), pages 748\u2013752, Sofia."},{"key":"R7","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P15-3007"},{"key":"R8","doi-asserted-by":"publisher","DOI":"10.1007\/s11168-006-6327-9"},{"key":"R10","doi-asserted-by":"crossref","unstructured":"Langkilde, Irene and Kevin Knight. 1998. Generation that exploits corpus-based statistical knowledge. In Proceedings of the 36th Annual Meeting of the ACL and 17th International Conference on Computational Linguistics, pages 704\u2013710, Montreal.","DOI":"10.3115\/980845.980963"},{"key":"R11","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19750210118"},{"key":"R12","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/K15-1004"},{"key":"R14","doi-asserted-by":"crossref","unstructured":"Pust, Michael, Ulf Hermjakob, Kevin Knight, Daniel Marcu, and Jonathan May. 2015. Parsing English into abstract meaning representation using syntax-based machine translation. In Proceedings of the EMNLP 2015, pages 1143\u20131154, Lisbon.","DOI":"10.18653\/v1\/D15-1136"},{"key":"R15","doi-asserted-by":"crossref","unstructured":"Sawai, Yuichiro, Hiroyuki Shindo, and Yuji Matsumoto. 2015. Semantic structure analysis of noun phrases using abstract meaning representation. In Proceedings of the 53rd Annual Meeting of the ACL (Volume 2: Short Papers), pages 851\u2013856, Beijing.","DOI":"10.3115\/v1\/P15-2140"},{"key":"R16","doi-asserted-by":"publisher","DOI":"10.1093\/jos\/9.4.333"},{"key":"R17","doi-asserted-by":"crossref","unstructured":"Wang, Chuan, Nianwen Xue, and Sameer Pradhan. 2015. Boosting transition-based AMR parsing with refined actions and auxiliary analyzers. In Proceedings of the 53rd Annual Meeting of the ACL (Volume 2: Short Papers), pages 857\u2013862, Beijing.","DOI":"10.3115\/v1\/P15-2141"},{"key":"R18","doi-asserted-by":"crossref","unstructured":"Werling, Keenon, Gabor Angeli, and Christopher D. Manning. 2015. Robust subgraph generation improves abstract meaning representation parsing. In Proceedings of the 53rd Annual Meeting of the ACL (Volume 1: Long Papers), pages 982\u2013991, Beijing.","DOI":"10.3115\/v1\/P15-1095"}],"container-title":["Computational Linguistics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mitpressjournals.org\/doi\/pdf\/10.1162\/COLI_a_00257","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,12]],"date-time":"2021-03-12T21:27:56Z","timestamp":1615584476000},"score":1,"resource":{"primary":{"URL":"https:\/\/direct.mit.edu\/coli\/article\/42\/3\/527-535\/1535"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["10.1162\/COLI_a_00257"],"URL":"https:\/\/doi.org\/10.1162\/coli_a_00257","relation":{},"ISSN":["0891-2017","1530-9312"],"issn-type":[{"value":"0891-2017","type":"print"},{"value":"1530-9312","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9]]}}}