Hustadt, U.: Automated Support for the Development of Non-Classical Logics. In: Modeling Epistemic Propositions, pp. 39 - 48 (Eds. Bürckert, H.-J.; Nutt, W.). Workshop Modeling Epistemic Propositions , Berlin, Germany, September 13, 1993 - September 14, 1993. DFKI, Saarbrücken (1993)

Hustadt, U.: Abductive Disjunctive Logic Programming. In: Proceedings of the ICLP 93 Postconference Workshop on Abductive Reasoning (Eds. Codognet, P.; Dung, P. M.; Kakas, A. C.; Mancarella, P.). ICLP 93 Postconference Workshop on Abductive Reasoning, Budapest, Hungary, June 24, 1993 - June 25, 1993. (1993)

Hustadt, U.; Nonnengart, A.: Modalities in Knowledge Representation. In: AI '93, pp. 249 - 254 (Eds. Rowles, C.; Liu, H.; Foo, N.). 6th Australian Joint Conference on Artificial Intelligence, Melbourne, Australia, November 16, 1993 - November 19, 1993. World Scientific, Singapore (1993)

Kraan, I.; Basin, D.; Bundy, A.: Middle-out Reasoning for Logic Program Synthesis. In: Logic Programming, pp. 441 - 455 (Ed. Warren, D. S.). Tenth International Conference on Logic Programming, Budapest, Hungary, June 21, 1993 - June 24, 1993. MIT, Cambridge, MA (1993)

Kučera, L.: Coloring k-colorable Graphs in Constant Expected Parallel Time. In: Graph-theoretic Concepts in Computer Science, pp. 166 - 176 (Ed. van Leeuwen, J.). 19th International Workshop on Graph-theoretic Concepts in Computer Science , Utrecht, The Netherlands, June 16, 1993 - June 18, 1993. Springer, Berlin, Germany (1993)

Kucera, L.; Mehlhorn, K.; Preis, B.; Schwarzenecker, E.: Exact Algorithms for a Geometric Packing Problem (Extended Abstract). In: STACS 93, pp. 317 - 322 (Eds. Enjalbert, P.; Finkel, A.; Wagner, K. W.). 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25, 1993 - February 27, 1993. Springer, Berlin, Germany (1993)

Nonnengart, A.: First‐order Modal Logic Theorem Proving and Functional Simulation. In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence ; Chambéry, France, August 28 - September 3, 1993, Vol. 1, pp. 80 - 85 (Ed. Bajcsy, R.). Thirteenth International Joint Conference on Artificial Intelligence, Chambéry, France, August 28, 1993 - September 03, 1993. Morgan Kaufmann, San Mateo, CA (1993)

Ohlbach, H. J.: Ein kurzes Tutorial über funktionale Übersetzung von Modallogik nach Prädikatenlogik. In: Bericht Nr. 15/93: Recommendations for Extensions to BGP-MS, pp. 19 - 26 (Ed. Kobsa, A.). Untitled Event, ?, 1993. Universität Konstanz, FB Informationswissenschaft, Konstanz, Germany (1993)

Ohlbach, H. J.: Optimized Translation of Multi Modal Logic into Predicate Logic. In: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR'93), pp. 253 - 264 (Ed. Voronkov, A.). Untitled Event, St. Petersburg, Russia, 1993. Springer, Berlin, Germany (1993)

Ohlbach, H. J.; Baader, F.: A Multi-dimensional Terminological Knowledge Representation Language. In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence ; Chambéry, France, August 28 - September 3, 1993, Vol. 1, pp. 690 - 695 (Ed. Bajcsy, R.). Thirteenth International Joint Conference on Artificial Intelligence, Chambéry, France, August 28, 1993 - September 03, 1993. Morgan Kaufmann, San Mateo, CA (1993)

Plaisted, D.: Equational Reasoning and Term Rewriting Systems. In: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1, pp. 273 - 364 (Eds. Gabbay, D. M.; Hogger, C.; Robinson, J. A.; Siekmann, J.). Oxford University Press, Oxford (1993)

Rote, G.; Schwarz, C.; Snoeyink, J.: Maintaining the Approximate Width of a Set of Points in the Plane. In: Proceedings of the 5th Canadian Conference on Computational Geometry, pp. 258 - 263. 5th Canadian Conference on Computational Geometry, Waterloo, Canada, August 05, 1993 - August 09, 1993. (1993)

Schiele, B.; Crowley, J. L.: Certainty Grids: Perception and Localization for a Mobile Robot. In: International Workshop on Intelligent Robotics Systems, pp. 159 - 165. (1993)

Schirra, S.: Moving a Disc between Polygons. In: Proceedings of the 9th Annual Symposium on Computational Geometry, pp. 395 - 396. 9th Annual Symposium on Computational Geometry, San Diego, CA, USA, May 19, 1993 - May 21, 1993. ACM, New York, NY (1993)

Schmidt, R. A.; Brink, C.; Britz, K.: Peirce Algebras. In: Algebraic Methodology and Software Technology (AMAST'93), pp. 163 - 166 (Eds. Nivat, M.; Rattray, C.; Rus, T.; Scollo, G.). 3th International Conference on Algebraic Methodology and Software Technology, Enschede, The Netherlands, June 21, 1993 - June 25, 1993. Springer, Berlin, Germany (1993)

Schwarz, C.: Semi-dynamic Maintenance of the Width of a Planar Point Set. In: 9th European Workshop on Computational Geometry CG '93: Abstracts, pp. 6 - 9 (Eds. Icking, C.; Klein, R.). 9th European Workshop on Computational Geometry, Hagen, Germany, March 18, 1993 - March 19, 1993. FernUniversität, Hagen (1993)

Sibeyn, J.; Kaufmann, M.; Raman, R.: Randomized Routing on Meshes with Buses. In: Algorithms - ESA '93, pp. 333 - 344 (Ed. Lengauer, T.). First Annual European Symposium on Algorithms, Bad Honnef, Germany, September 30, 1993 - October 02, 1993. Springer, Berlin (1993)

Socher-Ambrosius, R.: Unification in Order-Sorted Logic with Term Declarations. In: Proceedings of the 4th Conference on Logic Programming and Automated Reasoning (LPAR-93), pp. 301 - 308 (Ed. Voronkov, A.). Untitled Event, St. Petersburg, Russia, 1993. Springer, Berlin, Germany (1993)

Weidenbach, C.: A New Sorted Logic. In: GWAI-92: Advances in Artificial Inteligence, pp. 43 - 54 (Ed. Ohlbach, H. J.). GWAI 1992, Bonn, August 31, 1992 - September 03, 1992. Springer, Berlin (1993)

Weidenbach, C.: Extending the Resolution Method with Sorts. In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93), Vol. 1, pp. 60 - 65 (Ed. Bajcsy, R.). 13th International Joint Conference on Artificial Intelligence, Chambéry, France, August 28, 1993 - September 03, 1993. Morgan Kaufmann, Chambery, France (1993)