145 results on '"Paolo Liberatore"'
Search Results
2. Mixed Iterated Revisions: Rationale, Algorithms, and Complexity.
3. Reconstructing a single-head formula to facilitate logical forgetting.
4. Representing states in iterated belief revision.
5. The ghosts of forgotten things: A study on size after forgetting.
6. Natural revision is contingently-conditionalized revision.
7. Can we forget how we learned? Representing states in iterated belief revision}.
8. Abductive forgetting.
9. Superredundancy: A tool for Boolean formula minimization complexity analysis.
10. Four algorithms for propositional forgetting.
11. On Mixed Iterated Revisions.
12. Merging with unknown reliability.
13. Belief Integration and Source Reliability Assessment.
14. One head is better than two: a polynomial restriction for propositional definite Horn forgetting.
15. Common equivalence and size after forgetting.
16. Reconstructing a single-head formula to facilitate logical forgetting.
17. The ghosts of forgotten things: A study on size after forgetting.
18. The Size of BDDs and Other Data Structures in Temporal Logics Model Checking.
19. Revision by History.
20. On the complexity of second-best abductive explanations.
21. Model Checking and Preprocessing.
22. The Complexity of Action Redundancy.
23. Expressive Power and Succinctness of Propositional Languages for Preference Representation.
24. Bijective faithful translations among default logics.
25. The Complexity of Checking Redundancy of CNF Propositional Formulae.
26. Uncontroversial Default Logic.
27. Solving QBF by SMV.
28. The Size of MDP Factored Policies.
29. The compilability framework.
30. Belief merging in absence of reliability information
31. Verification Programs for Abduction.
32. BReLS: A System for the Integration of Knowledge Bases.
33. A Framework for Belief Update.
34. Compilability of Abduction.
35. The Complexity of Model Checking for Propositional Default Logics.
36. On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc.
37. Redundancy in logic III: Non-monotonic reasoning.
38. Redundancy in logic II: 2CNF and Horn propositional formulae.
39. Belief Merging by Source Reliability Assessment.
40. The Complexity of Iterated Belief Revision.
41. The Complexity of Belief Update.
42. Consistency Defaults.
43. Comparing Space Efficiency of Propositional Knowledge Representation Formalisms.
44. Feasibility and Unfeasibility of Off-Line Processing.
45. The Complexity of Model Checking for Belief Revision and Update.
46. Complexity results on DPLL and resolution.
47. k-Approximating Circuits.
48. On the complexity of extension checking in default logic.
49. The Size of a Revised Knowledge Base.
50. Relating Belief Revision and Circumscription.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.