Zhou, Yi, University of Western Sydney, Australia
-
Twelfth International Conference on the Principles of Knowledge Representation and Reasoning - Rule-Based Reasoning, Logic Programming, and Answer Set Programming
On the Progression Semantics and Boundedness of Answer Set Programs
Abstract PDF -
Twelfth International Conference on the Principles of Knowledge Representation and Reasoning - Short Papers
Forgetting Revisited
Abstract PDF -
Twenty-Fourth AAAI Conference on Artificial Intelligence - Knowledge Representation and Reasoning
First-Order Indefinability of Answer Set Programs on Finite Structures
Abstract PDF -
Twenty-Fourth AAAI Conference on Artificial Intelligence - Knowledge Representation and Reasoning
Ordered Completion for First-Order Logic Programs on Finite Structures
Abstract PDF -
Twenty-Second International Joint Conference on Artificial Intelligence - Knowledge Representation, Reasoning, and Logic
Translating First-Order Theories into Logic Programs
Abstract PDF -
Twenty-Fifth AAAI Conference on Artificial Intelligence - Knowledge Representation and Reasoning
Bounded Forgetting
Abstract PDF -
Twenty-Fifth AAAI Conference on Artificial Intelligence - Knowledge Representation and Reasoning
Progression Semantics for Disjunctive Logic Programs
Abstract PDF -
Twenty-Sixth AAAI Conference on Artificial Intelligence - Knowledge Representation and Reasoning
Ordered Completion for Logic Programs with Aggregates
Abstract PDF -
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning - Short Papers
First-Order Default Logic Revisited
Abstract PDF -
Twenty-Fourth International Joint Conference on Artificial Intelligence - Knowledge Representation Track
First-Order Disjunctive Logic Programming vs Normal Logic Programming
Abstract PDF