Fenrong Liu

50 papers A* 2B 4C 2Journal 23Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
A modal approach towards substitutions.
Ann. Pure Appl. Log.
Yaxin Tu, Sujata Ghosh, Fenrong Liu, Dazhu Li
2026 A* conf
Fine-Tuning Sample Order Matters in Propositional Logical Question-Answering (Student Abstract).
AAAI
Fengxiang Cheng, Chuan Zhou, Fenrong Liu, Robert van Rooij
2025 J jnl
A modal approach towards substitutions.
CoRR
Yaxin Tu, Sujata Ghosh, Fenrong Liu, Dazhu Li
2025 J jnl
Adaptive Selection of Symbolic Languages for Improving LLM Logical Reasoning.
CoRR
Xiangyu Wang, Haocheng Yang, Fengxiang Cheng, Fenrong Liu
2025 A* conf
Empowering LLMs with Logical Reasoning: A Comprehensive Survey.
IJCAI
Fengxiang Cheng, Haoxuan Li, Fenrong Liu, Robert van Rooij, Kun Zhang, Zhouchen Lin
2025 J jnl
Empowering LLMs with Logical Reasoning: A Comprehensive Survey.
CoRR
Fengxiang Cheng, Haoxuan Li, Fenrong Liu, Robert van Rooij, Kun Zhang, Zhouchen Lin
2025 — conf
Mitigating Spurious Correlations via Counterfactual Contrastive Learning.
EMNLP (Findings)
Fengxiang Cheng, Chuan Zhou, Xiang Li, Alina Leidinger, Haoxuan Li, Mingming Gong, Fenrong Liu, Robert van Rooij
2025 J jnl
Reasoning under uncertainty in the game of Cops and Robbers.
CoRR
Dazhu Li, Sujata Ghosh, Fenrong Liu
2024 — ed.
PRICAI 2023: Trends in Artificial Intelligence - 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part I
PRICAI (1)
Fenrong Liu, Arun Anand Sadanandan, Duc Nghia Pham, Petrus Mursanto, Dickson Lukose
2024 — ed.
PRICAI 2023: Trends in Artificial Intelligence - 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part II
PRICAI (2)
Fenrong Liu, Arun Anand Sadanandan, Duc Nghia Pham, Petrus Mursanto, Dickson Lukose
2024 — ed.
PRICAI 2023: Trends in Artificial Intelligence - 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part III
PRICAI (3)
Fenrong Liu, Arun Anand Sadanandan, Duc Nghia Pham, Petrus Mursanto, Dickson Lukose
2023 — conf
A Logical Approach to Doxastic Causal Reasoning.
DaLí
Kaibo Xie, Qingyu He, Fenrong Liu
2023 J jnl
A Simple Logic of the Hide and Seek Game.
Stud Logica
Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu
2021 — ed.
Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021.
DEON
Fenrong Liu, Alessandra Marra, Paul Portner, Frederik Van De Putte
2021 C conf
On the Subtle Nature of a Simple Logic of the Hide and Seek Game.
WoLLIC
Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu
2021 — ed.
PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part I
PRICAI (1)
Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu
2021 — ed.
PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part II
PRICAI (2)
Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu
2021 — ed.
PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part III
PRICAI (3)
Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu
2021 J jnl
Reasoning in social settings.
J. Log. Comput.
Fenrong Liu, Beishui Liao
2020 — ed.
Monotonicity in Logic and Language - Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings
TLLM
Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl
2020 — conf
New Logical Perspectives on Monotonicity.
TLLM
Johan van Benthem, Fenrong Liu
2018 J jnl
A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games.
Fundam. Informaticae
Chanjuan Liu, Fenrong Liu, Kaile Su
2018 J jnl
Efficient minimal preference change.
J. Log. Comput.
Natasha Alechina, Fenrong Liu, Brian Logan
2017 B conf
Reasoning About Belief, Evidence and Trust in a Multi-agent Setting.
PRIMA
Fenrong Liu, Emiliano Lorini
2016 J jnl
A logical characterization of extensive games with short sight.
Theor. Comput. Sci.
Chanjuan Liu, Fenrong Liu, Kaile Su, Enqiang Zhu
2016 — conf
Reasons to Believe in Social Settings.
CLAR
Fenrong Liu
2016 — conf
Reasons to Believe in a Social Environment.
DEON
Fenrong Liu, Emiliano Lorini
2015 B conf
A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games.
PRIMA
Chanjuan Liu, Fenrong Liu, Kaile Su
2014 J jnl
Deontic Logic and Preference Change.
FLAP
Johan van Benthem, Fenrong Liu
2014 — ch.
From Good to Better: Using Contextual Shifts to Define Preference in Terms of Monadic Value.
Johan van Benthem on Logic and Information Dynamics
Sven Ove Hansson, Fenrong Liu
2014 J jnl
Logical dynamics of belief change in the community.
Synth.
Fenrong Liu, Jeremy Seligman, Patrick Girard
2014 J jnl
Preference dynamics in games with short sight.
Appl. Math. Comput.
Chanjuan Liu, Enqiang Zhu, Fenrong Liu, Kaile Su
2013 — conf
A Logic for Extensive Games with Short Sight.
LORI
Chanjuan Liu, Fenrong Liu, Kaile Su
2013 J jnl
Facebook and the Epistemic Logic of Friendship.
CoRR
Jeremy Seligman, Fenrong Liu, Patrick Girard
2013 B conf
Facebook and the epistemic logic of friendship.
TARK
Jeremy Seligman, Fenrong Liu, Patrick Girard
2013 J jnl
Logic and AI in China: An Introduction.
Minds Mach.
Fenrong Liu, Kaile Su
2013 — conf
Minimal Preference Change.
LORI
Natasha Alechina, Fenrong Liu, Brian Logan
2013 J jnl
Reasoning About Agent Types and the Hardest Logic Puzzle Ever.
Minds Mach.
Fenrong Liu, Yanjing Wang
2012 B conf
General Dynamic Dynamic Logic.
Advances in Modal Logic
Patrick Girard, Jeremy Seligman, Fenrong Liu
2011 J jnl
A Two-Level Perspective on Preference.
J. Philos. Log.
Fenrong Liu
2011 C conf
Interest Logic and Its Application on the Web.
KSEM
Yi Zeng, Zhisheng Huang, Fenrong Liu, Xu Ren, Ning Zhong
2011 — conf
Logic in the Community.
ICLA
Jeremy Seligman, Fenrong Liu, Patrick Girard
2011 — conf
Update Semantics for Imperatives with Priorities.
LORI
Fengkui Ju, Fenrong Liu
2010 J jnl
Advances in belief dynamics: Introduction.
Synth.
Fenrong Liu, Olivier Roy
2010 — conf
Deontics = Betterness + Priority.
DEON
Johan van Benthem, Davide Grossi, Fenrong Liu
2010 J jnl
Von Wright's
Synth.
Fenrong Liu
2009 J jnl
Diversity of Agents and Their Interaction.
J. Log. Lang. Inf.
Fenrong Liu
2008 J jnl
Editorial.
Synth.
Fenrong Liu, Frank Veltman, Minghui Xiong
2008 J jnl
Modelling simultaneous games in dynamic logic.
Synth.
Johan van Benthem, Sujata Ghosh, Fenrong Liu
2007 J jnl
Dynamic logic of preference upgrade.
J. Appl. Non Class. Logics
Johan van Benthem, Fenrong Liu