557 search results - page 9 / 112 » Useful Transformations in Answer set programming |
91
Voted
LPNMR
2009
Springer
15 years 2 months 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
14 years 12 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
15 years 2 months ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
122
Voted
TPLP
2010
14 years 8 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
15 years 2 months 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...