Omega-krr Group
Omega-krr Group
News
People
Current People
Alumni
Events
Research
Publication
Thesis
Honor
Projects
Patents
Software copyrights
Contact
Member Login
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
×