Logisches Programmieren

Abduktive Logikprogrammierung ist eine Art der Logikprogrammierung, die sich auf das Schlussfolgern konzentriert, um die besten Erklärungen für Beobachtungen zu finden.

Answer Set Programming (ASP) ist ein deklaratives Programmierparadigma zur Lösung komplexer kombinatorischer Probleme.

Rückwärtsverkettung ist eine Denkweise in der KI, die mit dem Ziel beginnt und rückwärts arbeitet, um unterstützende Beweise zu finden.

Constraint Logic Programming (CLP) kombiniert logisches Programmieren mit Constraint-Lösung, um komplexe Probleme zu lösen.

Induktive Logikprogrammierung (ILP) ist ein maschineller Lernansatz, der Logikprogrammierung nutzt, um Modelle aus Beispielen zu erstellen.