460 search results - page 21 / 92 » Revised Stable Models - A Semantics for Logic Programs |
85
Voted
ASP
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...
85
Voted
PODS
1989
ACM
15 years 4 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
82
Voted
ICLP
1999
Springer
15 years 4 months ago
1999
Springer
In this paper, we focus on the problem of existence of and computing small and large stable models. We show that for every xed integer k, there is a linear-time algorithm to decid...
85
Voted
AAAI
1998
15 years 1 months ago
1998
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a derivation operator and de ne the semantics as its least xpoint. The semantics is...
121
Voted
ASP
2001
Springer
15 years 5 months ago
2001
Springer
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...