Sciweavers

966 search results - page 16 / 194
» Communicating Answer Set Programs
Sort
View
97
Voted
ASP
2003
Springer
15 years 7 months ago
The A-Pol System
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
Mauricio Osorio, Enrique Corona
AAAI
2008
15 years 4 months ago
What Is Answer Set Programming?
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...
Vladimir Lifschitz
123
Voted
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 2 months ago
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
Abstract. We introduce an approach to detecting inconsistencies in large biological networks by using Answer Set Programming. To this end, we build upon a recently proposed notion ...
Martin Gebser, Torsten Schaub, Sven Thiele, Philip...
147
Voted
JAPLL
2007
135views more  JAPLL 2007»
15 years 1 months ago
Open answer set programming for the semantic web
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
LPNMR
2009
Springer
15 years 6 months ago
Computing Weighted Solutions in Answer Set Programming
For some problems with many solutions, like planning and phylogeny reconstruction, one way to compute more desirable solutions is to assign weights to solutions, and then pick the ...
Duygu Çakmak, Esra Erdem, Halit Erdogan