FLORA

MaRDI QIDQ25791swMATHFDO

Official website http://rd.springer.com/chapter/10.1007/3-540-44957-4_72

Cited in

(16)

• scientific article; zbMATH DE number 1947735 (Why is no real title available?)
• scientific article; zbMATH DE number 1947733 (Why is no real title available?)
• scientific article; zbMATH DE number 1950446 (Why is no real title available?)
• scientific article; zbMATH DE number 1903391 (Why is no real title available?)
• Inheritance in Rule-Based Frame Systems: Semantics and Inference
• A Local Algorithm for Incremental Evaluation of Tabled Logic Programs
• HiLog
• CLAIRE
• TRIPLE
• OpenRuleBench
• XSB
• miniKanren
• Flix
• scientific article; zbMATH DE number 1696856 (Why is no real title available?)
• On integrating rules into the semantic web
• Reasoning about anonymous resources and meta statements on the semantic web

This page was built for software: FLORA