648 search results - page 11 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
120
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
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 ...
110
Voted
ESWS
2005
Springer
15 years 7 months ago
2005
Springer
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge bu...
134
click to vote
PADL
2004
Springer
15 years 6 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
153
click to vote
CLIMA
2006
15 years 2 months ago
2006
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...
118
Voted
ASP
2005
Springer
15 years 7 months ago
2005
Springer
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...