An Epistemic Programming Approach for Automated Nonmonotonic Reasoning Based on Default Logic - Goto, Yuichi; Ito, Takuya (2018 IEEE SmartWorld, Ubiquitous Intelligence and Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People and Smart City Innovation (SmartWorld SCALCOM UIC ATC CBDCom IOP SCI), 2018)
Keywords: automated reasoning; Big Data; Cognition; default logic; epistemic programming; Hands; Internet; Logic; nonmonotonic reasoning; Programming; Smart cities; Technological innovation