PhD in Computer Science
Stanford University, 1991
Multi-Aspect co-Attentional Collaborative Filtering for Extreme Multi-Label Text Classification
Article
Solving Conditional Linear Recurrences for Program Verification: The Periodic Case
Article
AMR-DA: Data Augmentation by Abstract Meaning Representation
Conference paper
Backward Imitation and Forward Reinforcement Learning via Bi-directional Model Rollouts
Conference paper
Conference paper
Incorporating EDS Graph for AMR Parsing
Conference paper
Parameterized Logical Theories
Conference paper
Conference paper
Embedding High-Level Knowledge into DQNs to Learn Faster and More Safely
Conference paper
Nice invincible strategy for the average-payoff IPD
Conference paper
Causal Theories of Actions Revisited
Conference paper
Invincible Strategies of Iterated Prisoner's Dilemma
Conference paper
On Moving Objects in Dynamic Domains
Conference paper
Translating classes to first-order logic: An example
Conference paper
VIAP 1.1 (Competition Contribution)
Conference paper
Characterizing Causal Action Theories and their Implementations in Answer Set Programming
Article
Book
K-Memory Strategies in Repeated Games
Conference paper
VIAP - automated system for verifying integer assignment programs with loops
Conference paper
A formalization of programs in first-order logic with a discrete linear order
Article
A Model for Phase Transition of Random Answer-Set Programs
Article
Book
Mapping Action Language BC to Logic Programs: A Characterization by Postulates
Conference paper
Position Systems in Dynamic Domains
Article
A Formalization of Programs in First-Order Logic with a Discrete Linear Order
Conference paper
Conference paper
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations
Conference paper
A First-order Semantics for Golog and ConGolog under a Second-order Induction Axiom on Situations
Conference paper
A Formalization of Programs in First-Order Logic with a Discrete Linear Order
Conference paper
On Computing Optimal Strategies in Open List Proportional Representation: The Two Parties Case
Conference paper
Computing Loops with at Most One External Support Rule
Article
Article
Turner’s Logic of Universal Causation, Propositional Logic, and Logic Programming
Conference paper
Voting with Partial Information: What Questions to Ask?
Conference paper
From Turner's logic of universal causation to the logic of GK
Article
Ordered completion for first-order logic programs on finite structures
Article
A well-founded semantics for basic logic programs with arbitrary abstract constraint atoms
Conference paper
Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs
Article
From answer set logic programming to circumscription via logic of GK
Article
Loop-separable programs and their first-order definability
Article
Two equivalence results for two-person strict games
Article
Causal theories of actions revisited
Conference paper
Causal theories of actions revisited
Conference paper
On moving objects in dynamic domains
Conference paper
Designing competitions between teams of individuals
Article
Weight constraint programs with evaluable functions
Article
Book
Ordered completion for first-order logic programs on finite structures
Conference paper
Computer-aided proofs of Arrow's and other impossibility theorems
Article
Article
Book
Computing loops with at most one external support rule for disjunctive logic programs
Conference paper
Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs
Conference paper
Conference paper
Two Applications of Computer-Aided Theorem Discovery and Verification
Conference paper
Abductive logic programming by nonground rewrite systems
Conference paper
Answer Set Programming with Functions
Conference paper
Computer-aided proofs of arrow's and other impossibility theorems
Conference paper
Computing Loops with at Most One External Support Rule
Conference paper
Conference paper
A characterization of answer sets for logic programs
Article
Discovering classes of strongly equivalent logic programs
Article
Recycling computed answers in rewrite systems for abduction
Article
Forgetting and Update -- an exploration
Conference paper
From Answer Set Logic Programming to Circumscription via Logic of GK
Conference paper
Conference paper
Loop formulas for circumscription
Article
First-Order Loop Formulas for Normal Logic Programs
Conference paper
Forgetting and Knowledge Update
Conference paper
ASSAT: computing answer sets of a logic program by SAT solvers
Article
Conference paper
Loop formulas for circumscription
Conference paper
On odd and even cycles in normal logic programs
Conference paper
Answer set programming phase transition: A study on randomly generated programs
Article
Compiling causal theories to successor state axioms and STRIPS-like systems
Article
Causal Theories of Action: A Computational Core
Conference paper
Conference paper
Recycling Computed Answers in Rewrite Systems for Abduction
Conference paper
Abduction in logic programming: A new definition and an abductive procedure based on rewriting
Article
ASSAT: Computing answer sets of a logic program by sat solvers
Conference paper
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic
Conference paper
On strongest necessary and weakest sufficient conditions
Article
A New Semantics For Logic Programs
Book chapter
Conference paper
Abduction in Logic Programming: A new Definition and an Abduction Procedure Based on Rewriting
Conference paper
Alternating Fixpoint Theory for Logic Programs with Priority
Article
From causal theories to successor state axioms and STRIPS-like systems
Conference paper
From Causal Theories to Logic Programs
Conference paper
Article
What robots can do: robot programs and effective achievability
Article
Conference paper
An ordering on subgoals for planning
Article
Golog: A logic programming language for dynamic domains
Article
Article
Rules as Actions - a situation calculus semantics for logic programs
Article
Conference paper
Embracing causality in specifying the effects of indeterminate actions
Conference paper
Foundations of a Logical Approach to Agent Programming
Conference paper
Provably correct theories of action
Article
Distributed Software Agents and Communication in the Situation Calculus
Conference paper
Embracing causality in specifying the indirect effects of actions
Conference paper
How to progress a database II: The STRIPS connection
Conference paper
An argument-based approach to nonmonotonic reasoning
Article
On non-forgetting and minimal learning
Conference paper
A logic of knowledge and justified assumptions
Article
Concurrent actions in the situation calculus
Conference paper
Default reasoning as negation-as-failure
Conference paper
Hyperfine structure of La I in a cathode discharge tube
Article
Provably correct theories of action
Conference paper
Studies on the hyperfine structure of La I in a hollow cathode discharge tube
Article
Epistemic semantics for fixed-point nonmonotonic logics
Conference paper
Argument systems: a uniform basis for nonmonotonic reasoning
Conference paper
Circumscription in a modal logic
Conference paper
Reasoning in the presence of inconsistency
Conference paper
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations
A First-order Semantics for Golog and ConGolog under a Second-order Induction Axiom on Situations
A Formalization of Programs in First-Order Logic with a Discrete Linear Order
On Computing Optimal Strategies in Open List Proportional Representation: The Two Parties Case
From causal theories to successor state axioms and STRIPS-like systems
Argument systems: a uniform basis for nonmonotonic reasoning
Characterizing Causal Action Theories and their Implementations in Answer Set Programming
Article
Book
K-Memory Strategies in Repeated Games
Conference paper
VIAP - automated system for verifying integer assignment programs with loops
Conference paper
A formalization of programs in first-order logic with a discrete linear order
Article
A Model for Phase Transition of Random Answer-Set Programs
Article
Book
Mapping Action Language BC to Logic Programs: A Characterization by Postulates
Conference paper
Position Systems in Dynamic Domains
Article
A Formalization of Programs in First-Order Logic with a Discrete Linear Order
Conference paper
Conference paper
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations
Conference paper
A First-order Semantics for Golog and ConGolog under a Second-order Induction Axiom on Situations
Conference paper
A Formalization of Programs in First-Order Logic with a Discrete Linear Order
Conference paper
On Computing Optimal Strategies in Open List Proportional Representation: The Two Parties Case
Conference paper
Computing Loops with at Most One External Support Rule
Article
Article
Turner’s Logic of Universal Causation, Propositional Logic, and Logic Programming
Conference paper
Voting with Partial Information: What Questions to Ask?
Conference paper
From Turner's logic of universal causation to the logic of GK
Article
Ordered completion for first-order logic programs on finite structures
Article
A well-founded semantics for basic logic programs with arbitrary abstract constraint atoms
Conference paper
Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs
Article
From answer set logic programming to circumscription via logic of GK
Article
Loop-separable programs and their first-order definability
Article
Two equivalence results for two-person strict games
Article
Causal theories of actions revisited
Conference paper
Causal theories of actions revisited
Conference paper
On moving objects in dynamic domains
Conference paper
Designing competitions between teams of individuals
Article
Weight constraint programs with evaluable functions
Article
Book
Ordered completion for first-order logic programs on finite structures
Conference paper
Computer-aided proofs of Arrow's and other impossibility theorems
Article
Article
Book
Computing loops with at most one external support rule for disjunctive logic programs
Conference paper
Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs
Conference paper
Conference paper
Two Applications of Computer-Aided Theorem Discovery and Verification
Conference paper
Abductive logic programming by nonground rewrite systems
Conference paper
Answer Set Programming with Functions
Conference paper
Computer-aided proofs of arrow's and other impossibility theorems
Conference paper
Computing Loops with at Most One External Support Rule
Conference paper
Conference paper
A characterization of answer sets for logic programs
Article
Discovering classes of strongly equivalent logic programs
Article
Recycling computed answers in rewrite systems for abduction
Article
Forgetting and Update -- an exploration
Conference paper
From Answer Set Logic Programming to Circumscription via Logic of GK
Conference paper
Conference paper
Loop formulas for circumscription
Article
First-Order Loop Formulas for Normal Logic Programs
Conference paper
Forgetting and Knowledge Update
Conference paper
ASSAT: computing answer sets of a logic program by SAT solvers
Article
Conference paper
Loop formulas for circumscription
Conference paper
On odd and even cycles in normal logic programs
Conference paper
Answer set programming phase transition: A study on randomly generated programs
Article
Compiling causal theories to successor state axioms and STRIPS-like systems
Article
Causal Theories of Action: A Computational Core
Conference paper
Conference paper
Recycling Computed Answers in Rewrite Systems for Abduction
Conference paper
Abduction in logic programming: A new definition and an abductive procedure based on rewriting
Article
ASSAT: Computing answer sets of a logic program by sat solvers
Conference paper
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic
Conference paper
On strongest necessary and weakest sufficient conditions
Article
A New Semantics For Logic Programs
Book chapter
Conference paper
Abduction in Logic Programming: A new Definition and an Abduction Procedure Based on Rewriting
Conference paper
Alternating Fixpoint Theory for Logic Programs with Priority
Article
From causal theories to successor state axioms and STRIPS-like systems
Conference paper
From Causal Theories to Logic Programs
Conference paper
Article
What robots can do: robot programs and effective achievability
Article
Conference paper
An ordering on subgoals for planning
Article
Golog: A logic programming language for dynamic domains
Article
Article
Rules as Actions - a situation calculus semantics for logic programs
Article
Conference paper
Embracing causality in specifying the effects of indeterminate actions
Conference paper
Foundations of a Logical Approach to Agent Programming
Conference paper
Provably correct theories of action
Article
Distributed Software Agents and Communication in the Situation Calculus
Conference paper
Embracing causality in specifying the indirect effects of actions
Conference paper
How to progress a database II: The STRIPS connection
Conference paper
An argument-based approach to nonmonotonic reasoning
Article
On non-forgetting and minimal learning
Conference paper
A logic of knowledge and justified assumptions
Article
Concurrent actions in the situation calculus
Conference paper
Default reasoning as negation-as-failure
Conference paper
Hyperfine structure of La I in a cathode discharge tube
Article
Provably correct theories of action
Conference paper
Studies on the hyperfine structure of La I in a hollow cathode discharge tube
Article
Epistemic semantics for fixed-point nonmonotonic logics
Conference paper
Argument systems: a uniform basis for nonmonotonic reasoning
Conference paper
Circumscription in a modal logic
Conference paper
Reasoning in the presence of inconsistency
Conference paper
COMP3211 | Fundamentals of Artificial Intelligence |
COMP4910 | Co-op Program |
COMP5211 | Advanced Artificial Intelligence |
MSBD5015 | Artificial Intelligence |
COMP3211 | Fundamentals of Artificial Intelligence |
COMP4910 | Co-op Program |
COMP4981 | Final Year Project |
No Teaching Assignments |
No Teaching Assignments |
No Teaching Assignments |
FANG, Biqing
(co-supervision)
Individualized Interdisciplinary Program (Artificial Intelligence)
PAN, Yuxin
(co-supervision)
Individualized Interdisciplinary Program (Artificial Intelligence)
ZHU, Fengming
Computer Science and Engineering
SHOU, Ziyi
Computer Science and Engineering
WANG, Chenglin
Computer Science and Engineering
SONG, Jaewoo
Computer Science and Engineering
KUANG, Liangyawei
Individualized Interdisciplinary Program (Robotics and Autonomous Systems)
WANG, Qijun
(co-supervision)
Individualized Interdisciplinary Program (Artificial Intelligence)
WANG, Shiheng
Computer Science and Engineering( Completed in 2020 )
KANG, Kai
(co-supervision)
Individualized Interdisciplinary Program (Artificial Intelligence)( Completed in 2022 )
HARA, Yuki
Computer Science and Engineering( Completed in 2020 )
Update your browser to view this website correctly. Update your browser now