Author: "Paolo Ferraris" / Journal: theory pract. log. program. - 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 3 results

Start Over Author "Paolo Ferraris" Journal theory pract. log. program.

3 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: 2012
Full Text: View/download PDF

2. Propositional theories are strongly equivalent to logic programs.

Author: Pedro Cabalar and Paolo Ferraris
Published: 2007
Full Text: View/download PDF

3. Weight constraints as nested expressions.

Author: Paolo Ferraris and Vladimir Lifschitz
Published: 2005
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results