Publication:4506459
From MaRDI portal
zbMath0946.68134MaRDI QIDQ4506459
Paolo Liberatore, Marco Schaerf, Marco Cadoli, Francesco M. Donini
Publication date: 19 September 2000
68T30: Knowledge representation
Related Items
Compiling propositional weighted bases, Reasoning under minimal upper bounds in propositional logic, Reducing belief revision to circumscription (and vice versa), Semantic forgetting in answer set programming, In defense of PDDL axioms, Representing Utility Functions via Weighted Goals