Frank van Harmelen, Annette ten Teije. Characterising approximate problem solving: by partially fulfilled pre- and postconditions. In Frank van Harmelen, editor, 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998. Volume 16 of CEUR Workshop Proceedings, CEUR-WS.org, 1998. [doi]
Abstract is missing.