Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

More on noMoRe

Thomas LinkeContact Information, Christian AngerContact Information and Kathrin KonczakContact Information

(3)  Institut für Informatik, Universität Potsdam, Germany
Abstract
This paper focuses on the efficient computation of answer sets for normal logic programs. It concentrates on a recently proposed rule-based method (implemented in the noMoRe system) for computing answer sets.We show how noMoRe and its underlying method can be improved tremendously by extending the computation of deterministic consequences. With these changes noMoRe is able to deal with more challenging problem classes.

Contact Information Thomas Linke
Email: linke@cs.uni-potsdam.de

Contact Information Christian Anger
Email: canger@cs.uni-potsdam.de

Contact Information Kathrin Konczak
Email: konczak@cs.uni-potsdam.de
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.106 • Server: mpweb06
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)