Clingo Answer Set Solver

State-of-the-art solver for logic programming under the answer set semantics.

Docker container

License
MIT license (MIT)

Main Characteristic

This asset is a gRPC server providing access to the Answer Set Solver Clingo by the Potassco team using a one-shot gRPC interface.

 

Research areas
Explainable AI Verifiable AI
Technical Categories
AI services Automated reasoning Commonsense reasoning Optimisation Planning and scheduling Searching
Last updated
25.11.2021 - 11:46
Detailed Description

This is a packaged version of the Clingo Answer Set Solver with a one-shot interface for solving.

The official Clingo repository can be found here: https://github.com/potassco/clingo

The homepage of Potassco can be found here: https://potassco.org/

Professional Consulting Services are available by Potassco Solutions: https://potassco.com/

This component was packaged by Peter Schüller, Potassco Solutions Austria: https://potassco.com/our-partners/#at

The deployable AI4EU Experiments asset is reachable at https://aiexp.ai4europe.eu/#/marketSolutions?solutionId=643fad67-cc9f-4…

Trustworthy AI
This is a rule-based reasoning component with deterministic and formally specified semantics, therefore every answer can potentially be explained fully.
GDPR Requirements
This is a generic reasoning component.