Search

Jia-Huai You

Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions
On Forgetting Postulates in Answer Set Programming
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs
Embedding Functions into Disjunctive Logic Programs
A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms
The Loop Formula based Semantics of Description Logic Programs
Loop Formulas for Description Logic Programs
Normal Description Logic Programs as Default Theories
Weight constraint programs with evaluable functions
Weight Constraint Programs with Functions

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