DAMLJessKB

MaRDI QIDQ35300swMATHFDO

Official website http://edge.cs.drexel.edu/assemblies/software/damljesskb/damljesskb.html

Cited in

(4)

• Standards and verification for fair-exchange and atomicity in e-commerce transactions
• Ontology-enabled validation of connectivity relationships in a home theater system
• PaladinRM
• Jess

This page was built for software: DAMLJessKB