scientific article; zbMATH DE number 1509480
From MaRDI portal
zbMath0946.68134MaRDI QIDQ4506459
Marco Schaerf, Paolo Liberatore, Francesco M. Donini, Marco Cadoli
Publication date: 19 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
SAT-Based Horn Least Upper Bounds, Semantic forgetting in answer set programming, Reasoning under minimal upper bounds in propositional logic, Compactly representing utility functions using weighted goals and the Max aggregator, Mixed Iterated Revisions: Rationale, Algorithms, and Complexity, Reducing belief revision to circumscription (and vice versa), In defense of PDDL axioms, Computing cooperative solution concepts in coalitional skill games, Representing Utility Functions via Weighted Goals, Compiling propositional weighted bases
