Picture for Paolo Ferraris

Paolo Ferraris

Representing First-Order Causal Theories by Logic Programs

Add code
Mar 23, 2011
Figure 1 for Representing First-Order Causal Theories by Logic Programs
Figure 2 for Representing First-Order Causal Theories by Logic Programs
Viaarxiv icon

Logic programs with propositional connectives and aggregates

Add code
Dec 08, 2008
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
Viaarxiv icon

Propositional theories are strongly equivalent to logic programs

Add code
Jan 16, 2007
Viaarxiv icon

Weight Constraints as Nested Expressions

Add code
Dec 19, 2003
Viaarxiv icon