Translating LPOD and CR-Prolog2 into Standard Answer Set Programs
Arizona State University（亚利桑那州立大学）
Joohyung Lee, Zhun Yang
备注：
Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 18 pages, LaTeX, 0 PDF figures (arXiv:YYMM.NNNNN)
Logic Programs with Ordered Disjunction (LPOD) is an extension of standard answer set programs to handle preference using the construct of ordered disjunction, and CR-Prolog2 is an extension of standard answer set programs with consistency restoring rules and LPOD-like ordered disjunction. We present reductions of each of these languages into the standard ASP language, which gives us an alternative way to understand the extensions in terms of the standard ASP language.
ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
Department of Electrical and Systems Engineering, Washington University in St Louis（华盛顿大学圣路易斯分校电子与系统工程系）；Department of Computer Science, University of Southern California（南加州大学计算机科学系）
Translating Inference-Time Control to Radiology Vision-Language Models: Activation Steering for Pneumonia Classification on Chest X-rays
Universidade Federal de São Paulo (UNIFESP)（圣保罗联邦大学）；Hospital Israelita Albert Einstein（以色列阿尔伯特·爱因斯坦医院）；Stanford University School of Medicine（斯坦福大学医学院）；DASA；University of Texas Southwestern Medical Center (UTSW)（德克萨斯大学西南医学中心）；Eden
