Henry A. Kautz, Michael J. Kearns, Bart Selman. Reasoning With Characteristic Models. In AAAI. pages 34-39, 1993.
@inproceedings{KautzKS93,
title = {Reasoning With Characteristic Models},
author = {Henry A. Kautz and Michael J. Kearns and Bart Selman},
year = {1993},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/KautzKS93},
cites = {0},
citedby = {0},
pages = {34-39},
booktitle = {AAAI},
}