Fangzhen Lin

University of Science and Technology

13 papers in the IJCAI proceedings

IJCAI 2026

Constant-Memory Strategies in Stochastic Games: A Theoretical and Empirical Study

with Fengming Zhu

doi:10.24963/ijcai.2026/56

Details PDF

IJCAI 2025

Deduction with Induction: Combining Knowledge Discovery and Reasoning for Interpretable Deep Reinforcement Learning

with Haodi Zhang, Xiangyu Zeng, Junyang Chen, Yuanfeng Song, Rui Mao

doi:10.24963/ijcai.2025/777

Details PDF

IJCAI 2015

Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond

with Haodi Zhang

Details PDF

IJCAI 2009

Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs

with Pingzhong Tang

Details PDF

IJCAI 2007

From Answer Set Logic Programming to Circumscription via Logic of GK

with Yi Zhou

Details PDF

IJCAI 2005

Discovering Classes of Strongly Equivalent Logic Programs

with Yin Chen

Details PDF

IJCAI 2003

Causal Theories of Action: A Computational Core

with Jérôme Lang, Pierre Marquis

Details PDF

On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic

with Jicheng Zhao

Details PDF

Recycling Computed Answers in Rewrite Systems for Abduction

with Jia-Huai You

Details PDF

IJCAI 2001

Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting

with Jia-Huai You

Details PDF

IJCAI 1997

Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator

Details PDF

IJCAI 1995

Embracing Causality in Specifying the Indirect Effects of Actions

Details PDF

How to Progress a Database II: The STRIPS Connection

with Raymond Reiter

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings