Initial Results on Justification for the Tabled Transaction Logic

Paul Fodor. Initial Results on Justification for the Tabled Transaction Logic. In Intelligent Event Processing, Papers from the 2009 AAAI Spring Symposium, Technical Report SS-09-05, Stanford, California, USA, March 23-25, 2009. pages 52-53, AAAI, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.