Guiding Safe Exploration with Weakest Preconditions.

Greg Anderson Swarat Chaudhuri Isil Dillig

Published in: CoRR (2022)

Keyphrases

inference rules
information technology
decision making
website
explanation based learning
knowledge base
digital libraries
knowledge discovery
search strategies
information visualization
exploration strategy