共 50 条
- [31] Representing and reasoning about spatial knowledge based on spatial relevant logic [J]. CONCEPTUAL MODELING FOR ADVANCED APPLICATION DOMAINS, PROCEEDINGS, 2004, 3289 : 114 - 126
- [35] Genetic Design of Biped Walking Fuzzy Logic Controller [J]. HIMA: 2009 IEEE WORKSHOP ON HYBRID INTELLIGENT MODELS AND APPLICATIONS, 2009, : 7 - +
- [36] Design and Verification of Distributed Logic Controllers with Application of Petri Nets [J]. INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2015 (ICCMSE 2015), 2015, 1702
- [37] AN INCREMENTAL APPROACH TO LOGIC-CONTROLLER DESIGN WITH PETRI NETS [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1992, 22 (03): : 461 - 473
- [39] Towards a systematic approach to representing knowledge in declarative logic programming (invited talk) [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 222 - 223
- [40] Representing, managing and reasoning about mathematical knowledge based on strong relevant logic [J]. PROCEEDINGS OF 2008 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2008, : 299 - 306