|
SLWV (Classical Negation in Logic Programs) |
|
|
REVISE 2.4 (LP Belief Revision) |
LP updates (DLP, DLP+Prefs, LUPS, MDLP, EVOLP) |
|
SLX (Querying WFSX) |
|
|
GBR (LP Genetic Belief Revision) |
ABDUAL (Abductive WFS) |
|
Cataplan (Planning) |
|
|
LIVE (3-valued ILP learning) |
RSM (Revised Stable Models) |
|
ACORDA (Prospective logic programming) |
Neg-Abdual (Constructive Negation with Abduction) |
|
Bridge Crossing Moral Robot (needs XSB-XASP) DEMO (.avi) |
EPA (Evolution Prospective Agents) |
|
Inspection Points in ABDUAL |
|
|
Tabled Abduction in XSB |
EVOLP/R Tabled Program Updating in XSB |