Skip to main content

Questions tagged [answer-set-programming]

ASP (Answer Set Programming) is a form of declarative programming oriented towards NP-hard search problems

Filter by
Sorted by
Tagged with
2 votes
0 answers
39 views

Guarantee the solvability of conditional, but cyclic dependencies

I have a bunch of values, some that are given by an end user input and some that are calculated based on that input. The way that the values are calculated are input by a different group of users of ...
SourceOverflow's user avatar
0 votes
0 answers
20 views

Given an answer set program X how do you identify an answer set for X

How do you identify the answer sets for II if you know what the answer set program II looks like? Here is the problem: The answer is suppose to be 1 and 3. Here is what I am thinking, starting with ...
Programming_Zeus's user avatar
4 votes
0 answers
180 views

Answer Set Program to SAT translation

During the presentation (a talk) Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning Torsten Schaub (University of Postdam) stated around twenty-one minutes ...
Pushpa's user avatar
  • 933
2 votes
1 answer
733 views

Explanation of the Gelfond Lifschitz reduct

Can someone explain with a hands on example how the Gelfond Lifschitz reduct works in order to check stable model semantics? edit a simple example here - at least as far as I understand the thing. ...
Georg Heiler's user avatar
4 votes
1 answer
267 views

How logic programming (especially ASP) is related to the reasoning in (first-order) logic?

How logic programming (https://en.wikipedia.org/wiki/Logic_programming, especially answer set programming) is related to the reasoning in the (first-order) logic? Maybe logic programming can be ...
TomR's user avatar
  • 1,401
5 votes
1 answer
220 views

What is an $NP^{NP}$-complete problem? [duplicate]

So in this paper I'm reading (https://adamsmith.as/papers/fdg2013_shortcuts.pdf), the authors talk about an $NP^{NP}$-complete problem, in relation to Answer Set Programming. I know what P, NP, etc. ...
Wouter Florijn's user avatar
4 votes
0 answers
199 views

Why Is Alloy not an Answer Set Programming system?

Alloy's front page doesn't mention ASP, but the description sounds like ASP (finding solutions consistent with a logical spec). And Alloy isn't listed in the Wikipedia ASP article. Yet ASP systems ...
andrew cooke's user avatar
4 votes
1 answer
366 views

Abduction in ASP

Well, forgive my ignorance about the matter as I have been playing with ASP for the last couple of days. Consider this simple example p. s :- p. And the ...
astazed's user avatar
  • 151