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 cs.AIShow all
3 papers · 1 filter
cs.AI2010★ 10 cited
Loop Formulas for Description Logic Programs
Yisong Wang, Jia-Huai You, Li Yan Yuan +1
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logics…
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…
cs.AI2006★ 1 cited
Probabilistic Automata for Computing with Words
Yongzhi Cao, Lirong Xia, Mingsheng Ying
Usually, probabilistic automata and probabilistic grammars have crisp symbols as inputs, which can be viewed as the formal models of computing with values. In this paper, we first…