Traditional tools implement specific single purpose solutions, hiding
the valuable domain knowledge in imperative code that is error prone and expensive to maintain.
Potassco AI tools separate the knowledge representation from the problem solving task.
Instead of programmers writing and maintaining code, experts model your knowledge base.
The results to the knowledge task are then computed by the Potassco solver
You gain a declarative knowledge representation that can be easily maintained.
The resulting knowledge base can be the fundament for variety of related reasoning tasks and is not fixed to a single problem.