Publisher
Springer International Publishing
Reference13 articles.
1. Barwise, J., Perry, J.: Situations and Attitudes. The Hume Series. CSLI Publications, Stanford, California (1999)
2. Loukanova, R.: Situation theory, situated information, and situated agents. In: Nguyen, N., et al. (eds.) Transactions on Computational Collective Intelligence XVII, Lecture Notes in Computer Science, vol. 8790, pp. 145–170. Springer, Berlin, Heidelberg (2014). https://doi.org/10.1007/978-3-662-44994-3_8
3. Loukanova, R.: Typed theory of situated information and its application to syntax-semantics of human language. In: Christiansen, H., Jiménez-López, M.D., Loukanova, R., Moss, L.S. (eds.) Partiality and Underspecification in Information, Languages, and Knowledge, pp. 151–188. Cambridge Scholars Publishing, Cambridge. https://www.cambridgescholars.com/product/978-1-4438-7947-7 (2017)
4. Loukanova, R.: Computational syntax-semantics interface with type-theory of acyclic recursion for underspecified semantics. In: Osswald, R., Retoré, C., Sutton, P. (eds.) IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures. Proceedings of the Workshop, pp. 37–48. The Association for Computational Linguistics (ACL). https://www.aclweb.org/anthology/W19-1005 (2019)
5. Loukanova, R.: Formalisation of situated dependent-type theory with underspecified assessments. In: Bucciarelli, E., et al. (eds.) Decision Economics. Designs, Models, and Techniques for Boundedly Rational Decisions. DCAI 2018. Advances in Intelligent Systems and Computing, vol. 805, pp. 49–56. Springer International Publishing, Cham (2019). https://doi.org/10.1007/978-3-319-99698-1_6
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantics of Propositional Attitudes in Type-Theory of Algorithms;Lecture Notes in Computer Science;2024
2. Eta-Reduction in Type-Theory of Acyclic Recursion;ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal;2023-07-18