共 50 条
- [21] Model checking temporal logics of knowledge via OBDDs1 COMPUTER JOURNAL, 2007, 50 (04): : 403 - 420
- [22] Integrating Perspectives of Knowledge Management IFKAD - KCWS 2012: 7TH INTERNATIONAL FORUM ON KNOWLEDGE ASSET DYNAMICS, 5TH KNOWLEDGE CITIES WORLD SUMMIT: KNOWLEDGE, INNOVATION AND SUSTAINABILITY: INTEGRATING MICRO & MACRO PERSPECTIVES, 2012, : 1116 - 1131
- [26] Justification logics, logics of knowledge, and conservativity Annals of Mathematics and Artificial Intelligence, 2008, 53 : 153 - 167
- [27] Representing a robotic domain using temporal description logics AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 1999, 13 (02): : 105 - 117
- [28] Representing a robotic domain using temporal description logics Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM, 1999, 13 (02): : 105 - 117
- [29] Knowledge, profession and management - Knowledge perspectives of management in Norwegian health services TIDSSKRIFT FOR SAMFUNNSFORSKNING, 2007, 48 (02): : 275 - 290