Logic-Based Knowledge Representation Protocol Design | Logic-Based Knowledge Representation | Knowledge Representation | NEROS