Searching for "Extending and implementing the stable model semantics." – 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.

Extending and Implementing the Stable Model Semantics
by Patrik Simons, Ilkka Niemelä, Timo Soininen — 2002
…Extending and Implementing the Stable Model Semantics Patrik Simons 1 , Ilkka Niemela 2…
Cited by 184 (4 self) – Add To MetaCart

Answer Set Programming: From Model . . .
by Ilkka Niemelä, E. Erdem, V. Lifschitz, Satisfiability Planning
…. E#cient implementation of the well-founded and stable model semantics. In M. Maher, editor…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB