{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T14:40:28Z","timestamp":1739371228480,"version":"3.37.0"},"publisher-location":"Boston, MA","reference-count":7,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781441902207"},{"type":"electronic","value":"9781441902214"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-1-4419-0221-4_20","type":"book-chapter","created":{"date-parts":[[2009,10,3]],"date-time":"2009-10-03T08:01:49Z","timestamp":1254556909000},"page":"157-163","source":"Crossref","is-referenced-by-count":2,"title":["A Knowledge-based System for Translating FOL Formulas into NL Sentences"],"prefix":"10.1007","author":[{"given":"Aikaterini","family":"Mpagouli","sequence":"first","affiliation":[]},{"given":"Ioannis","family":"Hatzilygeroudis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1_20","unstructured":"Genesereth MR, Nilsson NJ (1988) Logical foundations of AI. Morgan Kaufmann"},{"key":"20_CR2_20","doi-asserted-by":"crossref","unstructured":"Brachman RJ, Levesque HJ (2004) Knowledge representation and reasoning. Morgan Kaufmann","DOI":"10.1016\/B978-155860932-7\/50099-6"},{"key":"20_CR3_20","unstructured":"Reiter E, Dale R (2006) Building natural language generation systems. Cambridge University Press"},{"key":"20_CR4_20","unstructured":"Rodr\u00edguez V\u00e1zquez de Aldana E (1999) An application for translation of Spanish sentences into first order logic implemented in prolog. http:\/\/aracne.usal.es\/congress\/PDF\/EmilioRodriguez.pdf"},{"key":"20_CR5_20","doi-asserted-by":"crossref","unstructured":"Fuchs NE, Schwertel U, Torge S (1999) Controlled natural language can replace first order logic. Proceedings 14th IEEE International Conference on Automated Software Engineering (ASE\u203299). 295\u2013298. http:\/\/www.ifi.unizh.ch\/groups\/req\/ftp\/papers\/ASE99.pdf","DOI":"10.1109\/ASE.1999.802325"},{"key":"20_CR6_20","unstructured":"Pease A, Fellbaum C (2004) Language to logic translation with PhraseBank. Proceedings 2nd Global Conference (GWC\u203204). 187\u2013192"},{"key":"20_CR7_20","unstructured":"Friedman Hill E (2003) Jess in action: rule-based systems in Java. Manning Publishing. 2003"}],"container-title":["IFIP Advances in Information and Communication Technology","Artificial Intelligence Applications and Innovations III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-0221-4_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T14:18:51Z","timestamp":1739369931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4419-0221-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9781441902207","9781441902214"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-0221-4_20","relation":{},"ISSN":["1868-4238"],"issn-type":[{"type":"print","value":"1868-4238"}],"subject":[],"published":{"date-parts":[[2009]]}}}