Author: "Paolo Liberatore" / Journal: acm trans. comput. log. - 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 Liberatore"' showing total 6 results

Start Over Author "Paolo Liberatore" Journal acm trans. comput. log.

6 results on '"Paolo Liberatore"'

1. Mixed Iterated Revisions: Rationale, Algorithms, and Complexity.

Author: Paolo Liberatore
Published: 2023
Full Text: View/download PDF

2. Complexity results on DPLL and resolution.

Author: Paolo Liberatore
Published: 2006
Full Text: View/download PDF

3. Compilability and compact representations of revision of Horn knowledge bases.

Author: Paolo Liberatore
Published: 2000
Full Text: View/download PDF

4. Belief Merging by Examples.

Author: Paolo Liberatore
Published: 2016
Full Text: View/download PDF

5. Compilability of propositional abduction.

Author: Paolo Liberatore and Marco Schaerf
Published: 2007
Full Text: View/download PDF

6. Where fail-safe default logics fail.

Author: Paolo Liberatore
Published: 2007
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results