Searching for "Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions." – 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.

Grounding for model expansion in k-guarded formulas with inductive definitions
by Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta — 2007 — In IJCAI
…Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions Murray Patterson…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 1.

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