Compute Paracoherent Answer Sets via Saturation

Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Francesco Ricca, Some DLV Applications for Knowledge Management Logic Programming and Nonmonotonic Reasoning. pp. 591- 597 ,(2009) , 10.1007/978-3-642-04238-6_63

Giovanni Amendola, Thomas Eiter, Nicola Leone, Modular Paracoherent Answer Sets european conference on logics in artificial intelligence. pp. 457- 471 ,(2014) , 10.1007/978-3-319-11558-0_32

Giovanni Grasso, Nicola Leone, Marco Manna, Francesco Ricca, ASP at work: spin-off and applications of the DLV system Logic programming, knowledge representation, and nonmonotonic reasoning. pp. 432- 451 ,(2011) , 10.1007/978-3-642-20832-4_27

Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise, An ASP-Based System for Team-Building in the Gioia-Tauro Seaport Practical Aspects of Declarative Languages. ,vol. 5937, pp. 40- 42 ,(2010) , 10.1007/978-3-642-11503-5_5

Martin Gebser, Marco Maratea, Francesco Ricca, The Design of the Sixth Answer Set Programming Competition international conference on logic programming. pp. 531- 544 ,(2015) , 10.1007/978-3-319-23264-5_44

Piero Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca, None, Answer set programming A 25-year perspective on logic programming. ,vol. 6125, pp. 159- 182 ,(2010) , 10.1007/978-3-642-14309-0_8

CHIAKI SAKAMA, KATSUMI INOUE, Paraconsistent Stable Semantics for Extended Disjunctive Programs Journal of Logic and Computation. ,vol. 5, pp. 265- 285 ,(1995) , 10.1093/LOGCOM/5.3.265

Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Torsten Schaub, Answer Set Solving in Practice ,(2012)

Michael Gelfond, Vladimir Lifschitz, Classical negation in logic programs and disjunctive databases New Generation Computing. ,vol. 9, pp. 365- 385 ,(1991) , 10.1007/BF03037169

Gerhard Brewka, Thomas Eiter, Mirosław Truszczyński, Answer set programming at a glance Communications of the ACM. ,vol. 54, pp. 92- 103 ,(2011) , 10.1145/2043174.2043195