On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision (2000)

Cached

Download Links

by Adnan Darwiche
Venue:Journal of Applied Non-Classical Logics
Citations:50 - 17 self