Author: "Paolo Ferraris" / Journal: corr - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Paolo Ferraris"' showing total 4 results

Start Over Author "Paolo Ferraris" Journal corr

4 results on '"Paolo Ferraris"'

1. Representing First-Order Causal Theories by Logic Programs

Author: Paolo Ferraris, Joohyung Lee 0002, Yuliya Lierler, Vladimir Lifschitz, and Fangkai Yang
Published: 2011

2. Logic programs with propositional connectives and aggregates

Author: Paolo Ferraris
Published: 2008

3. Propositional theories are strongly equivalent to logic programs

Author: Pedro Cabalar and Paolo Ferraris
Published: 2007

4. Weight Constraints as Nested Expressions

Author: Paolo Ferraris and Vladimir Lifschitz
Published: 2003

Catalog

Books, media, physical & digital resources

See catalog results