Title
Knowledge Compilation Map: Theory and Application,Used
Sold by Ergodebooks, an authorized reseller.
Returns accepted within 30 days | support@ergodebooks.com
Shipping Information
- Free Standard Shipping — United States only
- Processing Time: 1–3 business days
- Estimated Delivery: 3–5 business days after dispatch
- Double-boxed, fully insured & discreetly packaged
- Tracking number sent via email once dispatched
- Orders over $250 require signature upon delivery. Taxes calculated at checkout.
Returns & Refund
Returns accepted within 30 days of delivery.
Damaged or Defective Item
Free return shipping + replacement or full refund
Wrong Item Received
Free return shipping + replacement or full refund
Change of Mind
Return shipping at customer's expense · 25% restocking fee applies
Boolean functions are fundamental whenever knowledge is represented by constraints on Boolean variables, i.e. through a set of possible states in the corresponding multidimensional Boolean space. In practice, working with Boolean functions presupposes efficient ways to represent them. Many research groups from different areas work on this subject, producing different types of representations of Boolean functions. Two basic qualities characterize these representations: their succinctness, and their set of queries and transformations supported in time polynomial in the size of the representation. This dissertation extends the work of Darwiche and Marquis by taking new representations and more transformations and queries into account. In addition, we make the transition from Boolean functions to Booleanvalued ones, and consider the representation of more general functions. Finally, the dissertation contains both a survey of several applications and a Javabased implementation.
⚠️ WARNING (California Proposition 65):
This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.
For more information, please visit www.P65Warnings.ca.gov.