Results 1-10 of 10
[ABSTRACT] 围绕政府应对新冠肺炎疫情的措施是否过度的问题,阿甘本引爆了"赤裸生命"与"赤裸国家"之间的争论,这场争论正是反思阿甘本生命政治理论的契机。对照霍布斯,阿甘本的谬误在于他拒绝承认一切例外状态的真实性。然而,阿甘本的错误中却包含着不容忽视的合理因素,即例外状态与日常状态的界限正在敉平,这正是阿甘本...
[KEYWORDS] 0302 政治学;0101 哲学;
会议论文
Proceedings of the Sixth International Conference on Contemporary Education, Social Sciences and Humanities
2021-04-22
[ABSTRACT] According to Donald Davidson, an akratic action is opposed to the agent's better judgment if the agent act freely and intentionally. Davidson says ...
[KEYWORDS] Akratic actions; Emotions; Rationality; Reasonableness; 0402 心理学（可授教育学、理学学位）;
会议论文
第33届中国控制与决策会议论文集（13）
2021-05-22
[ABSTRACT] With the increasing business complexity and changing business needs,modern information systems have been a key enabler for responding to business o...
[KEYWORDS] Enterprise architecture; TOGAF Architecture Development Method; SMEs; Minimum viable product; 0202 应用经济学;1202 工商管理;1201 管理科学与工程（可授管理学、工学学位）;
会议论文
PROCEEDINGS OF THE 33RD CHINESE CONTROL AND DECISION CONFERENCE (CCDC 2021)
2021
[ABSTRACT] With the increasing business complexity and changing business needs, modem information systems have been a key enabler for responding to business o...
[KEYWORDS] 1202 工商管理;1201 管理科学与工程（可授管理学、工学学位）;
会议论文
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2021)
2021
[ABSTRACT] In the chapter on quantum logic in Volume 6 of Handbook of Philosophical Logic, Dalla Chiara and Giuntini make an interesting observation that ther...
[KEYWORDS] 0812 计算机科学与技术（可授工学、理学学位）;0701 数学;0101 哲学;
会议论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021
[ABSTRACT] <div data-language="eng" data-ev-field="abstract">This paper connects the following three apparently unrelated topics: an epistemic framework fight...
[KEYWORDS] Computer circuits; Graph theory - Formal logic; 0701 数学;0812 计算机科学与技术（可授工学、理学学位）;
会议论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021
[ABSTRACT] <div data-language="eng" data-ev-field="abstract">In epistemic logic we are not only interested in the propositional knowledge expressed by "knowin...
[KEYWORDS] Temporal logic; Computer circuits; 0812 计算机科学与技术（可授工学、理学学位）;
会议论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021
[ABSTRACT] <div data-language="eng" data-ev-field="abstract">The paper expands upon the work by Wang [4], who proposes a new framework based on quantifie...
[KEYWORDS] Computer circuits; Formal logic; 0812 计算机科学与技术（可授工学、理学学位）;
会议论文
Electronic Proceedings in Theoretical Computer Science, EPTCS
2021-06-22
[ABSTRACT] <div data-language="eng" data-ev-field="abstract">Various planning-based know-how logics have been studied in the recent literature. In this paper,...
[KEYWORDS] Model checking; Computer circuits - Technology transfer; 0812 计算机科学与技术（可授工学、理学学位）;
会议论文
Electronic Proceedings in Theoretical Computer Science, EPTCS
2021-06-22
[ABSTRACT] <div data-language="eng" data-ev-field="abstract">In this paper, we propose a lightweight yet powerful dynamic epistemic logic that captures not on...
[KEYWORDS] Computer circuits; 0812 计算机科学与技术（可授工学、理学学位）;
Results 1-10 of 10
- <<
- 1
- >>
Data Facts
Keyword
- 4 0812 计算机科学与技术（可授工学、理学学位）;
- 4 Computer circuits
- 1 0202 应用经济学;1202 工商管理;1201 管理科学与工程...
- 1 0302 政治学;0101 哲学;
- 1 0402 心理学（可授教育学、理学学位）;
- 1 0701 数学;0812 计算机科学与技术（可授工学、理学学位）;
- 1 0812 计算机科学与技术（可授工学、理学学位）;0701 数学;...
- 1 1202 工商管理;1201 管理科学与工程（可授管理学、工学学位）;
- 1 Akratic actions
- 1 Computer circuits - Technology tr...
- next >
Publisher
Indexed Database
- 7 EI
- 2 CPCI-S(ISTP)