Searching for "Using Smodels (Declarative Logic Programming) to Verify Correctness of Certain Active Rules." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Using Smodels (Declarative Logic Programming) to Verify Correctness of Certain Active Rules
by Mutsumi Nakamura, Ramez Elmasri
…Using Smodels (Declarative Logic Programming) to Verify Correctness of Certain Active Rules…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB