Wang Yi

Handling Probability and Inconsistency in Answer Set Programming

2015 · International Conference on Lightning Protection

Answer Set Programming (ASP) is a powerful declarative computing paradigm that is especially suitable for modeling commonsense reasoning problems. However, the crisp nature of the underlying semantics, the stable model semantics, makes it difficult to …

A Probabilistic Extension of the Stable Model Semantics

2015 · National Conference on Artificial Intelligence

We present a probabilistic extension of logic programs under the stable model semantics, inspired by the idea of Markov Logic Networks. The proposed language, called LP MLN , is a generalization of logic programs under …

Research on the Effective Application of MOOC Resources in College English Teaching

2018

With the starting of the new education law, MOOC teaching model has become the most popular topic in the field of teaching in recent years. This paper analyzes the problems existing in the teaching of …