Law Test Suites for Semantically-Safe Rule Interchange

Law Test Suites for Semantically-Safe Rule Interchange

TitleLaw Test Suites for Semantically-Safe Rule Interchange
Publication TypeConference Paper
Year of Publication2016
AuthorsPaschke, A, Athan, T
Conference NameProceedings of the 16th International Workshop on Non-Monotonic Reasoning (NMR'16)
URLhttp://nmr2016.cs.uct.ac.za/proceedings_nmr2016_online.pdf