FLORA

swMATH13880MaRDI QIDQ25791FDOQ25791

Author name not available (Why is that?)

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

Cited In (15)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inheritance in Rule-Based Frame Systems: Semantics and Inference
• A Local Algorithm for Incremental Evaluation of Tabled Logic Programs
• HiLog
• CLAIRE
• OpenRuleBench
• XSB
• miniKanren
• Flix
• Title not available (Why is that?)
• On integrating rules into the semantic web
• Reasoning about anonymous resources and meta statements on the semantic web
• Title not available (Why is that?)

This page was built for software: FLORA