839 search results - page 9 / 168 » Answer Set Programming with Resources |
135
Voted
CADE
2001
Springer
16 years 2 months ago
2001
Springer
109
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of insti...
107
click to vote
EXACT
2008
15 years 4 months ago
2008
This paper describes the problems with debugging tools for answer set programming, a declarative programming paradigm. Current approaches are difficult to use on most applications ...
122
Voted
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for represen...
155
click to vote
AI
2004
Springer
15 years 1 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...