FuXi formal semantics
4 views
Skip to first unread message
Chimezie
Sep 16, 2007, 10:39:11 PM9/16/07
to fuxi-discussion
With the rule API's fleshed out, I started a Wiki of FuXi's formal
semantics (DLP) expressed using the language of Logic Programming.
semantics (DLP) expressed using the language of Logic Programming.
Chimezie
Nov 11, 2007, 10:03:20 PM11/11/07
to fuxi-discussion
I have updated this wiki with an indication that it will become
aligned with or superseded by N3Logic (http://arxiv.org/abs/0711.1533)
aligned with or superseded by N3Logic (http://arxiv.org/abs/0711.1533)
Reply all
Reply to author
Forward
0 new messages