Predicting knowledge in an ontology stream
Freddy Lécué, Jeff Z. Pan
IJCAI 2013
We report on random stimuli generation for hardware verification at IBM as a major application of various artificial intelligence technologies, including knowledge representation, expert systems, and constraint satisfaction. For more than a decade we have developed several related tools, with huge payoffs. Research and development around this application are still thriving, as we continue to cope with the ever-increasing complexity of modern hardware systems and demanding business environments. Copyright © 2007, American Association for Artificial Intelligence. All rights reserved.
Freddy Lécué, Jeff Z. Pan
IJCAI 2013
Ankit Vishnubhotla, Charlotte Loh, et al.
NeurIPS 2023
Erik Altman, Jovan Blanusa, et al.
NeurIPS 2023
Ismail Akhalwaya, Shashanka Ubaru, et al.
ICLR 2024