abduction

Here are 2 public repositories matching this topic...

Implementation of syllogistic reasoning using a new cognitive theory based on the Weak Completion Semantics.

logic cognitive-science abduction syllogism

CATS (Comenius-Abduction-Team Solver) is an experimental tool for solving A-Box abduction problems in description logics using various algorithms.

java solver inference ontology description-logics owl-api abduction abductive-learning

Add a description, image, and links to the abduction topic page so that developers can more easily learn about it.

To associate your repository with the abduction topic, visit your repo's landing page and select "manage topics."