共 50 条
- [41] Model Checking Concurrent Recursive Programs Using Temporal Logics MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I, 2014, 8634 : 438 - 450
- [42] Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: Completeness and decidability Lithuanian Mathematical Journal, 2007, 47 : 266 - 276
- [45] Temporal management using relative time in knowledge-based process control Eng Appl Artif Intell, 3 (269-280):
- [46] Argumentation Using Temporal Knowledge COMPUTATIONAL MODELS OF ARGUMENT, PROCEEDINGS OF COMMA 2008, 2008, 172 : 204 - 215
- [47] KNOWLEDGE-BASE MANAGEMENT-SYSTEMS USING DESCRIPTION LOGICS AND THEIR ROLE IN SOFTWARE INFORMATION-SYSTEMS IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 14 : 171 - 181
- [49] Knowledge management in 2010 - Business needs and market prospects EADOPTION AND THE KNOWLEDGE ECONOMY: ISSUES, APPLICATIONS, CASE STUDIES, PTS 1 AND 2, 2004, 1 : 1029 - 1034