Omega-krr Group
Omega-krr Group
News
People
Current People
Alumni
Events
Research
Publication
Thesis
Honor
Projects
Patents
Software copyrights
Contact
Light
Dark
Automatic
Fangzhen Lin
Latest
Witnesses for Answer Sets of Logic Programs
A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms
Weight constraint programs with evaluable functions
Answer set programming with functions
First-Order Loop Formulas for Normal Logic Programs(🏆Ray Reiter Best paper🏆)
Cite
×