Searching for "Implementing Prioritized Circumscription by Computing Disjunctive Stable Models." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Implementing Prioritized Circumscription by Computing Disjunctive Stable Models ⋆
by Emilia Oikarinen, Tomi Janhunen
…Implementing Prioritized Circumscription by Computing Disjunctive Stable Models ⋆ Emilia Oikarinen…
Add To MetaCart

Translation-Based Approach Experiments Conclusions Disjunctive Logic Programs Stable Model
by Emilia Oikarinen, Tomi Janhunen, E. Oikarinen, T. Janhunen, Aimsa Background, Ab Helsinki — 2008
… Prioritized Circumscription by Computing Disjunctive Stable Models Emilia Oikarinen and Tomi Janhunen…
Add To MetaCart

Showing 1 through 2.

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