2 papers accepted at AAAI-16
These introduce (1) component caching in hybrid domains, and (2) a first-order logic of probability with only knowing.
2 papers accepted at AAAI-16
These introduce (1) component caching in hybrid domains, and (2) a first-order logic of probability with only knowing.