Towards recursive models - a computational formalism for the semantics of temporal presuppositions and counterfactuals in natural language

被引：0
作者：
Univ of Udine, Udine, Italy [1 ]
机构：
来源：
Informatica (Ljubljana) | 1997年 / 21卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：59 / 77
相关论文
共 45 条
[31]   COMPUTATIONAL SEMANTICS - INTRODUCTION TO ARTIFICIAL-INTELLIGENCE AND NATURAL-LANGUAGE COMPREHENSION - CHARNIAK,E, WILKS,Y [J].
THOMPSON, M .
LEONARDO, 1978, 11 (04) :336-336
[32]   Learning from Failures: Translation of Natural Language Requirements into Linear Temporal Logic with Large Language Models [J].
Xu, Yilongfei ;
Feng, Jincao ;
Miao, Weikai .
2024 IEEE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2024, :204-215
[33]   Bringing chatbots into education: Towards natural language negotiation of open learner models [J].
Kerly, Alice ;
Hall, Phil ;
Bull, Susan .
KNOWLEDGE-BASED SYSTEMS, 2007, 20 (02) :177-185
[34]   Neural Models for Generating Natural Language Summaries from Temporal Personal Health Data [J].
Harris, Jonathan ;
Zaki, Mohammed J. .
JOURNAL OF HEALTHCARE INFORMATICS RESEARCH, 2024, 8 (02) :370-399
[35]   Neural Models for Generating Natural Language Summaries from Temporal Personal Health Data [J].
Jonathan Harris ;
Mohammed J. Zaki .
Journal of Healthcare Informatics Research, 2024, 8 :370-399
[36]   nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models [J].
Cosler, Matthias ;
Hahn, Christopher ;
Mendoza, Daniel ;
Schmitt, Frederik ;
Trippell, Caroline .
COMPUTER AIDED VERIFICATION, CAV 2023, PT II, 2023, 13965 :383-396
[37]   SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications [J].
Ghosh, Sayontan ;
Singh, Amanpreet ;
Merenstein, Alex ;
Su, Wei ;
Smolka, Scott A. ;
Zadok, Erez ;
Balasubramanian, Niranjan .
LREC 2022: THIRTEEN INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, 2022, :2166-2176
[38]   Towards Real-World Adverse Weather Image Restoration: Enhancing Clearness and Semantics with Vision-Language Models [J].
Xu, Jiaqi ;
Wu, Mengyang ;
Hu, Xiaowei ;
Fu, Chi-Wing ;
Dou, Qi ;
Heng, Pheng-Ann .
COMPUTER VISION-ECCV 2024, PT XVIII, 2025, 15076 :147-164
[39]   Towards Predicting Source Code Changes Based on Natural Language Processing Models: An Empirical Evaluation [J].
Kaibe, Yuto ;
Okamura, Hiroyuki ;
Dohi, Tadashi .
2023 IEEE 34TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS, ISSREW, 2023, :108-111
[40]   Follow the Successful Herd: Towards Explanations for Improved Use and Mental Models of Natural Language Systems [J].
Brachman, Michelle ;
Pan, Qian ;
Do, Hyo Jin ;
Dugan, Casey ;
Chaudhary, Arunima ;
Johnson, James M. ;
Rai, Priyanshu ;
Chakraborti, Tathagata ;
Gschwind, Thomas ;
Laredo, Jim A. ;
Miksovic, Christoph ;
Scotton, Paolo ;
Talamadupula, Kartik ;
Thomas, Gegi .
PROCEEDINGS OF 2023 28TH ANNUAL CONFERENCE ON INTELLIGENT USER INTERFACES, IUI 2023, 2023, :220-239
12345