Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

WSML-Rule

  • WSML-Rule - an extension of WSML-Flight in the direction of Logic Programming
    • Captures several extensions such as the use of function symbols and unsafe rules, and does not require stratification of negation
    • The semantics for negation is based on the Stable Model Semantics 

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.