disjunctive stable models
Recently Published Documents

TOTAL DOCUMENTS

5

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Implementing Prioritized Circumscription by Computing Disjunctive Stable Models

Artificial Intelligence: Methodology, Systems, and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85776-1_15 ◽

2008 ◽

pp. 167-180 ◽

Author(s):

Emilia Oikarinen ◽

Tomi Janhunen

Keyword(s):

Disjunctive Stable Models ◽

Download Full-text

Modularity Aspects of Disjunctive Stable Models

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72200-7_16 ◽

2007 ◽

pp. 175-187 ◽

Author(s):

Tomi Janhunen ◽

Emilia Oikarinen ◽

Hans Tompits ◽

Stefan Woltran

Keyword(s):

Disjunctive Stable Models ◽

Download Full-text

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

Information and Computation ◽

10.1006/inco.1997.2630 ◽

1997 ◽

Vol 135 (2) ◽

pp. 69-112 ◽

Author(s):

Nicola Leone ◽

Pasquale Rullo ◽

Francesco Scarcello

Keyword(s):

Fixpoint Semantics ◽

Disjunctive Stable Models ◽

Download Full-text

On the computation of disjunctive stable models

Lecture Notes in Computer Science - Database and Expert Systems Applications ◽

10.1007/bfb0034719 ◽

1996 ◽

pp. 654-666 ◽

Author(s):

N. Leone ◽

P. Rullo ◽

F. Scarcello

Keyword(s):

Disjunctive Stable Models ◽

Download Full-text

Declarative and Fixpoint Characterizations of Disjunctive Stable Models

Logic Programming ◽

10.7551/mitpress/4301.003.0042 ◽

1995 ◽

Keyword(s):

Disjunctive Stable Models ◽

Download Full-text