共 50 条
- [31] Integration and optimization of rule-based constraint solvers [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 3018 : 198 - 213
- [32] PAMELA-C++ - TIGHT INTEGRATION OF RULE-BASED FEATURES INTO AN OBJECT-ORIENTED LANGUAGE [J]. KNOWLEDGE ORIENTED SOFTWARE DESIGN, 1993, 27 : 223 - 236
- [33] Rule-Based Composition of Intelligent Mechatronic Components in Manufacturing Systems Using Prolog [J]. 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2013, : 242 - 247
- [38] Lumpability Abstractions of Rule-based Systems [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (40): : 142 - 161
- [40] Multilevel secure rule-based systems [J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VII, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT II, 2002, : 74 - 79