Initial Results on Justification for the Tabled Transaction Logic - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Tabling for transaction logicPaul Fodor, Michael Kifer. ppdp 2010: 199-208 [doi]

Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling TechniquesPaul Fodor. AAAI 2008: 1800-1801

runs on WebDSL