Logic programs with stable model semantics as a constraint programming paradigm Ilkka Niemelä OriginalPaper Pages: 241 - 273
An empirical study of the 4‐valued Kripke–Kleene and 4‐valued well‐founded semantics in random propositional logic programs Chris GiannellaJohn Schlipf OriginalPaper Pages: 275 - 309
Semantics and expressiveness of disjunctive ordered logic Francesco BuccafurriNicola LeonePasquale Rullo OriginalPaper Pages: 311 - 337
Computing extended abduction through transaction programs Katsumi InoueChiaki Sakama OriginalPaper Pages: 339 - 367
Nested expressions in logic programs Vladimir LifschitzLappoon R. TangHudson Turner OriginalPaper Pages: 369 - 389
From logic programming towards multi‐agent systems Robert KowalskiFariba Sadri OriginalPaper Pages: 391 - 419