共 50 条
- [34] ON STATIC LOGICS, DYNAMIC LOGICS, AND COMPLEXITY CLASSES INFORMATION AND CONTROL, 1984, 60 (1-3): : 86 - 102
- [36] Agent logics as program logics: Grounding KARO KI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4314 : 404 - +
- [37] A Correspondence between Implicational Fragment Logics and Fuzzy Logics 2014 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING (GRC), 2014, : 127 - 130
- [38] Transforming fuzzy description logics into classical description logics LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 385 - 399
- [39] On the relationship between BDI logics and standard logics of concurrency INTELLIGENT AGENTS V: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1999, 1555 : 47 - 61