Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox
Picture for Paolo Ferraris

Paolo Ferraris

Representing First-Order Causal Theories by Logic Programs


Mar 23, 2011
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang

Figure 1 for Representing First-Order Causal Theories by Logic Programs
Figure 2 for Representing First-Order Causal Theories by Logic Programs
* 29 pages. To appear in Theory and Practice of Logic Programming (TPLP); Theory and Practice of Logic Programming, May, 2011 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Logic programs with propositional connectives and aggregates


Dec 08, 2008
Paolo Ferraris

Figure 1 for Logic programs with propositional connectives and aggregates
Figure 2 for Logic programs with propositional connectives and aggregates
Figure 3 for Logic programs with propositional connectives and aggregates
Figure 4 for Logic programs with propositional connectives and aggregates

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Propositional theories are strongly equivalent to logic programs


Jan 16, 2007
Pedro Cabalar, Paolo Ferraris

* 15 pages 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Weight Constraints as Nested Expressions


Dec 19, 2003
Paolo Ferraris, Vladimir Lifschitz

* To appear in Theory and Practice of Logic Programming 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email