Results 1-2 of 2
期刊文章
JOURNAL OF LOGIC AND COMPUTATION
2021-10
[ABSTRACT] In a computational program there can be two kinds of errors: (i) critical errors and (ii) non-critical errors. A critical error stops the program i...
[KEYWORDS] LOGIC; 0812 计算机科学与技术（可授工学、理学学位）;0701 数学;0802 机械工程;
[ABSTRACT] Various logical notions of know-how have been recently proposed and studied in the literature based on different types of epistemic planning in dif...
[KEYWORDS] DYNAMIC EPISTEMIC FRAMEWORK; LOGIC; 0812 计算机科学与技术（可授工学、理学学位）;
Results 1-2 of 2
- <<
- 1
- >>