557 search results - page 9 / 112 » Useful Transformations in Answer set programming |
LPNMR
2009
Springer
14 years 13 days ago
2009
Springer
This note summarizes the use of Answer Set Programming to solve various computational problems to infer phylogenetic trees and phylogenetic networks, and discusses its applicabilit...
AAAI
2008
13 years 10 months ago
2008
Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in k...
ASP
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
TPLP
2010
13 years 6 months ago
2010
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...
BIBM
2009
IEEE
14 years 29 days ago
2009
IEEE
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...