Tomi Janhunen and Ilkka Niemelä, A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning , in Proceedings of the Third Kurt Gödel Colloquium , Brno, Czech Republic, pages 211-222, August 1993.
K. J. Nurmela and P R. J. Östergård, Upper bounds for covering designs by simulated annealing, Congressus Numerantium 96, pages 93-111, 1993. (abstract)
Kimmo Varpaaniemi, On Combining the Stubborn Set Method with the Sleep Set Method . In: Valette, R. (Ed.), Proceedings of the 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain, June 1994. Lecture Notes in Computer Science 815, Springer-Verlag, Berlin 1994, pp. 548-567. (abstract, errata)
Jussi Rintanen, Prioritized Autoepistemic Logic, Logic in AI: Proceedings of the 4th European Workshop JELIA'94, York, England, September 1994, Lecture Notes in Artificial Intelligence 838, Springer-Verlag, 1994, pp. 232-246.
Kimmo Varpaaniemi, The Sleep Set Method Revisited. In: Czaja, L., Burkhard, H.-D., and Starke, P.H. (Eds.), Proceedings of the 3rd International Workshop on Concurrency, Specification, and Programming, Berlin, October 1994. Humboldt Universität zu Berlin, Institut für Informatik, Informatik-Bericht 36, Berlin 1994, 10 p. (abstract, errata)
Ilkka Niemelä, A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning, in Proceedings of the Fourth International Conference on Knowledge Representation and Reasoning , Bonn, Germany, pages 473-484, May 1994. Morgan Kaufmann Publishers, 1994.
Tomi Janhunen, Cautious Models for General Logic Programs, In Proceedings of the 3rd International Workshop on Deductive Databases and Logic Programming, Kanagawa, Japan, June 1995. Gesellschaft fur Mathematik und Datenverarbeitung (GMD-Studien Nr. 266), 1995.
Jussi Rintanen, On Specificity in Default Logic, In Proceedings of the 14th International Joint Conference on Artificial Intelligence, Montré al, August 1995, Morgan Kaufmann Publishers, 1995.
Ilkka Niemelä, Towards Efficient Default Reasoning, In Proceedings of the 14th International Joint Conference on Artificial Intelligence, Montré al, August 1995, Morgan Kaufmann Publishers, 1995.
Ilkka Niemelä and Patrik Simons, Evaluating an Algorithm for Default Reasoning, to be presented at the IJCAI'95 Workshop on Applications and Implementations of Nonmonotonic Reasoning Systems, August 21, 1995 Montré al, Canada.
Tomi Janhunen, Representing Autoepistemic Introspection in Terms of Default Rules, In Proceedings of the 12th European Conference on Artificial Intelligence, ECAI-96, Budapest, Hungary, pages 70-74, August 1996. John Wiley & Sons, Ltd.
Kimmo Varpaaniemi, Finding Small Stubborn Sets Automatically. In: Atalay, V., Halici, U., Inan, K., Yalabik, N., and Yazici, A. (Eds.), Proceedings of the 11th International Symposium on Computer and Information Sciences, Antalya, Turkey, November 1996, Vol. I. Middle East Technical University, Ankara 1996, ISBN 975-429-103-9, pp. 133-142. (abstract)
Kimmo Varpaaniemi, On Stubborn Sets in the Verification of Linear Time Temporal Properties. In: Desel, J., and Silva, M. (Eds.), Proceedings of the 19th International Conference on Application and Theory of Petri Nets, Lisbon, Portugal, June 1998. Lecture Notes in Computer Science 1420, Springer-Verlag, Berlin 1998, pp. 124-143. (abstract, link to Springer)