Efficient Implementation of the Well-founded and Stable Model Semantics

Answer Set Programming,2001, 引用: 15

Learning non-monotonic logic programs to reason about actions and change,2001, 引用: 2

european conference on logics in artificial intelligence,2004, 引用: 8

non-monotonic reasoning,2002, 引用: 18

,2005, 引用: 3

non-monotonic reasoning,2004, 引用: 0

scalable uncertainty management,2011, 引用: 0

non-monotonic reasoning,2004, 引用: 4

Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07),2007, 引用: 0

Answer Set Programming,2001, 引用: 9