Logic Programs with Ordered Disjunction (LPOD) is an extension of standard answer set programs to handle preference using the construct of ordered disjunction, and CR-Prolog2 is an extension of standard answer set programs with consistency restoring rules and LPOD-like ordered disjunction. We present reductions of each of these languages into the standard ASP language, which gives us an alternative way to understand the extensions in terms of the standard ASP language.
Alexa, Google Assistant, Siri, and Cortana can answer all sorts of questions that pop into users' heads, and they're improving every day. But what happens when a company like Amazon decides to crowdsource answers to fill gaps in its platform's knowledge? The result can range from amusing and perplexing to concerning. Alexa Answers allows any Amazon customer to submit responses to unanswered questions. When the web service launched in general availability a few weeks ago, Amazon gave assurances that submissions would be policed through a combination of automatic and manual review.
It's a truth universally acknowledged by all current and former students that homework sucks. After a long, grueling day of school, most kids have negative levels motivation left to do even more work. It's definitely not encouraging to hear that it may not even make us any smarter. But some homework answers do show that students can get pretty clever -- either out of laziness, misunderstanding, or just a great sense of humor. If you can't get your teacher to give you an A, you can try and eke out some points on a technicality.
Student Brianna Farris on her decision to start a'prayer locker.' As a seminary professor, I get questions like this all the time. And while my answers typically differ based on the context and the person asking, there's one element I always incorporate into the answer: God is real and he does answer prayers. I always make the point that "God is real" because if he is not real, there is no good reason to pray. But if God is real, that changes everything.