Search

Mingyi Zhang

What's new is the evolution of propositional knowledge bases?
Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions
Logical Difference of Propositional Theories
Learning Disjunctive Logic Programs from Interpretation Transition(🏆Best student paper🏆)
Knowledge Forgetting in Answer Set Programming
Embedding Functions into Disjunctive Logic Programs
Forgetting for Answer Set Programs Revisited
A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms
Forgetting in Logic Programs under Strong Equivalence
The Loop Formula based Semantics of Description Logic Programs
Answer set programming modulo theories
Weight constraint programs with evaluable functions
Weight Constraint Programs with Functions
Consistency Property of Finite FC-Normal Logic Programs
First-Order Loop Formulas for Normal Logic Programs(🏆Ray Reiter Best paper🏆)
On Compatibility and Forward Chaining Normality
Revision Programs with Explicit Negation

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.