K

Knowledge representation and reasoning

This project is dedicated to symbolic knowledge representation and reasoning in the TraceBot project.