Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

By Ilkka Niemelä, Patrik Simons. 1997

Subfields: Knowledge Graphs & Representation

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Walter Alexandre Carnielli
2. Paul E. S. Dunne
3. Martin Wigbertus Antonius Caminada
4. Sanjay Modgil
5. Pietro Baroni
6. Henry Prakken
7. Z. Shams

Citations in the corpus

• Semi-stable semantics (2006, background): “of formal argumentation, stable semantics still enjoys a strong support in fields like (normal) logic programming and answer set programming, where various interpretations of the stable model semantics exist [26, 25].”