scientific article; zbMATH DE number 1509480

MaRDI QIDQ4506459zbMATH OpenFDO

Authors Marco Cadoli, F. M. Donini, Paolo Liberatore, Marco Schaerf

Publication date 19 September 2000

zbMATH Keywords

propositional knowledge representation

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 2140435
• The size of a revised knowledge base
• Is intractability of nonmonotonic reasoning a real drawback?
• On compact representations of propositional circumscription
• Knowledge compilation and theory approximation

Cited in

(12)

• 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
• SAT-Based Horn Least Upper Bounds
• Computing cooperative solution concepts in coalitional skill games
• Mixed Iterated Revisions: Rationale, Algorithms, and Complexity
• Compactly representing utility functions using weighted goals and the Max aggregator
• An extended knowledge compilation map for conditional preference statements-based and generalized additive utilities-based languages
• Common equivalence and size of forgetting from Horn formulae
• Compiling propositional weighted bases
• Reasoning under minimal upper bounds in propositional logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4506459)