648 search results - page 8 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
125
click to vote
LPNMR
2009
Springer
15 years 6 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...
103
click to vote
AAAI
2008
15 years 3 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 6 months ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
154
click to vote
TPLP
2010
14 years 12 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...
115
click to vote
BIBM
2009
IEEE
15 years 6 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...