Author:
Liu Lengning,Truszczyński Mirosław
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Lecture Notes in Computer Science;M.R. Dransfield,2004
2. East, D., Liu, L., Logsdon, S., Marek, V., Truszczyński, M.: ASPPS user’s manual (2003),
http://www.cs.uky.edu/aspps/users_manual.ps
3. Lecture Notes in Artificial Intelligence;D. East,2001
4. Lecture Notes in Computer Science;L. Liu,2003
5. Niemelä, I., Simons, P.: Extending the smodels system with cardinality and weight constraints. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 491–521. Kluwer Academic Publishers, Dordrecht (2000)