Author:
Andreasen Troels,Bulskov Henrik,Nilsson Jørgen Fischer
Publisher
Springer International Publishing
Reference14 articles.
1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases: The Logical Level, 1st edn. Addison-Wesley Longman Publishing Co., Inc., New York (1995)
2. Abzianidze, L.: Langpro: natural language theorem prover. In: Conference on Empirical Methods in Natural Language Processing (2017)
3. Abzianidze, L.: LangPro: natural language theorem prover (2021). https://naturallogic.pro/LangPro/. Accessed 31 May 2021
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);T Andreasen,2019
5. Andreasen, T., Bulskov, H., Jensen, P.A., Nilsson, J.F.: Natural logic knowledge bases and their graph form. Data Knowl. Eng. 129, 101848 (2020)