XASP

swMATH13876MaRDI QIDQ25787FDOQ25787

Official website http://xsb.sourceforge.net/shadow_site/manual2/node129.html

Cited in

(7)

• Moral reasoning under uncertainty
• ACORDA
• A Module-Based Framework for Multi-language Constraint Modeling
• ESRA
• scientific article; zbMATH DE number 5942124 (Why is no real title available?)
• Inspecting side-effects of abduction in logic programs
• Logic Programming for Multiagent Planning with Negotiation

This page was built for software: XASP