Removed Sets Fusion: Performing off the shelf

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

Computing, Computer Science, Formal Methods +10

Extending and implementing the stable model semantics

Patrik Simons, Ilkka Niemelä, Timo Soininen · Artificial Intelligence · 2002 · 850 citations

Computing, Computer Science, Algorithms +15

ASSAT: computing answer sets of a logic program by SAT solvers

Fangzhen Lin, Yuting Zhao · Artificial Intelligence · 2004 · 423 citations

Computing, Computer Science, Mathematics +12

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

Ilkka Niemelä, Patrik Simons · International Conference on Logic Programming · 1997 · 262 citations

Computing, Computer Science, Algorithms +4

On the logic of merging

Sébastien Konieczny, Ramón Pino Pérez · 1998 · 251 citations

Business, Mathematics, Mergers +6