Paolo Ferraris
Identifiers
- name variant Paolo Ferraris 0.60 · backfill
Papers (4)
- Representing First-Order Causal Theories by Logic Programs cs.AI · 2011 · author #1
- Logic programs with propositional connectives and aggregates cs.AI · 2008 · author #1
- Propositional theories are strongly equivalent to logic programs cs.AI · 2007 · author #2
- Weight Constraints as Nested Expressions cs.AI · 2003 · author #1
Mentions
Frequent Coauthors
- Vladimir Lifschitz 2 shared papers
- Fangkai Yang 1 shared papers
- Joohyung Lee 1 shared papers
- Pedro Cabalar 1 shared papers
- Yuliya Lierler 1 shared papers