30 citations
- Chinese Academy of SciencesCN8 papers
- University of AlbertaCA3 papers
- Centre for Quantum Computation and Communication TechnologyAU2 papers
- Perimeter InstituteCA2 papers
- Tsinghua UniversityCN2 papers
- University of WaterlooCA2 papers
- Centre for Quantum TechnologiesSG1 paper
- Guizhou UniversityCN1 paper
- Harvard UniversityUS1 paper
- Hong Kong University of Science and TechnologyHK1 paper
- Instituto de TelecomunicaçõesPT1 paper
- KU LeuvenBE1 paper
Showing 2009Show all
2 papers · 1 filter
cs.PL2009
Termination Prediction for General Logic Programs
Yi-Dong Shen, Danny De Schreye, Dean Voets
We present a heuristic framework for attacking the undecidable termination problem of logic programs, as an alternative to current termination/non-termination proof approaches. We…
cs.AI2009★ 1 cited
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
This paper studies the stable model semantics of logic programs with (abstract) constraint atoms and their properties. We introduce a succinct abstract representation of these cons…