Takuya Ito

An Epistemic Programming Approach for Automated Nonmonotonic Reasoning Based on Default Logic

2018

Epistemic programming was proposed as a novel program paradigm to program epistemic processes in scientific discovery, which regards conditionals as the subject of computing, takes primary epistemic operations as basic operations of computing, and regards …