5 papers:
STOC-2004-Aaronson #multi #quantum- Multilinear formulas and skepticism of quantum computing (SA), pp. 118–127.
SAT-2002-BrglezLS #algorithm #benchmark #metric #satisfiability #testing- The role of a skeptic agent in testing and benchmarking of SAT algorithms (FB, XYL, MFS), p. 13.
KR-1992-Simonet #exception #inheritance- RS Theory: A Really Skeptical Theory of Inheritance with Exceptions (GS), pp. 615–626.
- KR-1991-Witteveen #maintenance
- Skeptical Reason Maintenance is Tractable (CW), pp. 570–581.
- KR-1989-RajasekarLM #reasoning #source code
- Skeptical Reasoning and Disjunctive Programs (AR, JL, JM), pp. 349–356.
