On the computation of disjunctive stable models

1996 ◽  
pp. 654-666 ◽  
Author(s):  
N. Leone ◽  
P. Rullo ◽  
F. Scarcello
Keyword(s):  
Disjunctive Stable Models ◽  
Stable Models

scholarly journals Modularity Aspects of Disjunctive Stable Models

2007 ◽  
pp. 175-187 ◽  
Author(s):  
Tomi Janhunen ◽  
Emilia Oikarinen ◽  
Hans Tompits ◽  
Stefan Woltran
Keyword(s):  
Disjunctive Stable Models ◽  
Stable Models

scholarly journals Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation

1997 ◽  
Vol 135 (2) ◽  
pp. 69-112 ◽  
Author(s):  
Nicola Leone ◽  
Pasquale Rullo ◽  
Francesco Scarcello
Keyword(s):  
Fixpoint Semantics ◽  
Disjunctive Stable Models ◽  
Stable Models

scholarly journals Understanding the Traffic Nature of Mobile Instantaneous Messaging in Cellular Networks: A Revisiting to $\alpha $ -Stable Models

IEEE Access ◽  
2015 ◽  
Vol 3 ◽  
pp. 1416-1422 ◽  
Author(s):  
Rongpeng Li ◽  
Zhifeng Zhao ◽  
Chen Qi ◽  
Xuan Zhou ◽  
Yifan Zhou ◽  
...  
Keyword(s):  
Cellular Networks ◽  
Stable Models

Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search

2020 ◽  
Vol 176 (3-4) ◽  
pp. 271-297
Author(s):  
Mario Alviano ◽  
Carmine Dodaro
Keyword(s):  
State Of The Art ◽  
Answer Set Programming ◽  
Efficient Algorithms ◽  
Satisfiability Problem ◽  
Core Analysis ◽  
Stable Model ◽  
Maximum Satisfiability ◽  
Model Search ◽  
Unsatisfiable Core ◽  
Stable Models

Many efficient algorithms for the computation of optimum stable models in the context of Answer Set Programming (ASP) are based on unsatisfiable core analysis. Among them, algorithm OLL was the first introduced in the context of ASP, whereas algorithms ONE and PMRES were first introduced for solving the Maximum Satisfiability problem (MaxSAT) and later on adapted to ASP. In this paper, we present the porting to ASP of another state-of-the-art algorithm introduced for MaxSAT, namely K, which generalizes ONE and PMRES. Moreover, we present a new algorithm called OLL-IN-ONE that compactly encodes all aggregates of OLL by taking advantage of shared aggregate sets propagators. The performance of the algorithms have been empirically compared on instances taken from the latest ASP Competition.

The interpretation of unsolvable λ-terms in models of untyped λ-calculus

1998 ◽  
Vol 63 (4) ◽  
pp. 1529-1548 ◽  
Author(s):  
Rainer Kerth
Keyword(s):  
Graph Model ◽  
Stable Model ◽  
Graph Models ◽  
Stable Models

AbstractOur goal in this paper is to analyze the interpretation of arbitrary unsolvable λ-terms in a given model of λ-calculus. We focus on graph models and (a special type of) stable models. We introduce the syntactical notion of a decoration and the semantical notion of a critical sequence. We conjecture that any unsolvable term β-reduces to a term admitting a decoration. The main result of this paper concerns the interconnection between those two notions: given a graph model or stable model , we show that any unsolvable term admitting a decoration and having a non-empty interpretation in generates a critical sequence in the model.In the last section, we examine three classical graph models, namely the model of Plotkin and Scott, Engeler's model and Park's model . We show that and do not contain critical sequences whereas does.

Stable Models in Testable Asset Pricing

1994 ◽  
pp. 223-235 ◽  
Author(s):  
Bertrand Gamrowski ◽  
Svetlozar T. Rachev
Keyword(s):  
Asset Pricing ◽  
Stable Models
Sign in / Sign up

Export Citation Format

Share Document