Propositional Independence - Formula-Variable Independence and Forgetting von Lang, J., Liberatore, P., Marquis, P.

Volltext

Arbitration (or how to merge knowledge bases) von Liberatore, P., Schaerf, M.

Volltext

A new gas-tight isobaric sampler for hydrothermal fluids von Seewald, Jeffrey S., Doherty, Kenneth W., Hammar, Terence R., Liberatore, Stephen P.

Volltext

Redundancy in logic I: CNF propositional formulae von Liberatore, Paolo

Volltext

On the complexity of case-based planning von Liberatore, P.

Volltext

Bijective faithful translations among default logics von Liberatore, P.

Volltext

On Polynomial Sized MDP Succinct Policies von Liberatore, P.

Volltext

Uncontroversial Default Logic von Liberatore, P.

Volltext

A Moored Profiling Instrument von Doherty, K W, Frye, D E, Liberatore, S P, Toole, J M

Volltext

k-approximating circuits von Cadoli, M., Donini, F.M., Liberatore, P., Schaerf, M.

Volltext

Space Efficiency of Propositional Knowledge Representation Formalisms von Cadoli, M., Donini, F. M., Liberatore, P., Schaerf, M.

Volltext

On the complexity of choosing the branching literal in DPLL von Liberatore, Paolo

Volltext

Monotonic reductions, representative equivalence, and compilation of intractable problems von Liberatore, Paolo

Volltext

The complexity of belief update von Liberatore, Paolo

Volltext

A framework for belief update von LIBERATORE, Paolo

Volltext

On the complexity of extension checking in default logic von Liberatore, Paolo

Volltext

Conditional independence in propositional logic von Lang, Jérôme, Liberatore, Paolo, Marquis, Pierre

Volltext

Complexity and compilability of diagnosis and recovery of graph-based systems von Liberatore, Paolo

Volltext

The complexity of model checking for propositional default logics von Liberatore, Paolo, Schaerf, Marco

Volltext

The Complexity of Action Redundancy von Ferrara, Andrea, Liberatore, Paolo, Schaerf, Marco

Volltext