Ferraris, Paolo

5 publications

IJCAI 2009 Symmetric Splitting in the General Theory of Stable Models Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla

IJCAI 2007 A Logic Program Characterization of Causal Theories Paolo Ferraris

IJCAI 2007 A New Perspective on Stable Models Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz

AAAI 2007 Forgetting Actions in Domain Descriptions Esra Erdem, Paolo Ferraris

AAAI 2000 Planning as Satisfiability in Nondeterministic Domains Paolo Ferraris, Enrico Giunchiglia