共 50 条
- [2] Computational logic-based agents Autonomous Agents and Multi-Agent Systems, 2008, 16 : 211 - 213
- [4] A Logic-Based Authorization Framework and Implementation 2009 INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2009, : 322 - 326
- [5] A Conditional Logic-Based Argumentation Framework SCALABLE UNCERTAINTY MANAGEMENT, SUM 2013, 2013, 8078 : 44 - 56
- [6] A Logic-based Security Framework for Mobile Perimeter 2015 16TH IEEE INTERNATIONAL CONFERENCE ON MOBILE DATA MANAGEMENT, VOL 2, 2015, : 30 - 33
- [9] Cognitive modelling using a logic-based algebra ICCI 2005: FOURTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS - PROCEEDINGS, 2005, : 37 - 42
- [10] A Logic-Based Framework for Verifying Consensus Algorithms VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), 2014, 8318 : 161 - 181