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

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

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

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

Kučera, L.: Coloring k-colorable Graphs in Constant Expected Parallel Time. In: Graph-theoretic Concepts in Computer Science, S. 166 - 176 (Hg. van Leeuwen, J.). 19th International Workshop on Graph-theoretic Concepts in Computer Science , Utrecht, The Netherlands, 16. Juni 1993 - 18. Juni 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, S. 317 - 322 (Hg. Enjalbert, P.; Finkel, A.; Wagner, K. W.). 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, 25. Februar 1993 - 27. Februar 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, Bd. 1, S. 80 - 85 (Hg. Bajcsy, R.). Thirteenth International Joint Conference on Artificial Intelligence, Chambéry, France, 28. August 1993 - 03. September 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, S. 19 - 26 (Hg. 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), S. 253 - 264 (Hg. 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, Bd. 1, S. 690 - 695 (Hg. Bajcsy, R.). Thirteenth International Joint Conference on Artificial Intelligence, Chambéry, France, 28. August 1993 - 03. September 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, Bd. 1, S. 273 - 364 (Hg. 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, S. 258 - 263. 5th Canadian Conference on Computational Geometry, Waterloo, Canada, 05. August 1993 - 09. August 1993. (1993)

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

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

Schmidt, R. A.; Brink, C.; Britz, K.: Peirce Algebras. In: Algebraic Methodology and Software Technology (AMAST'93), S. 163 - 166 (Hg. Nivat, M.; Rattray, C.; Rus, T.; Scollo, G.). 3th International Conference on Algebraic Methodology and Software Technology, Enschede, The Netherlands, 21. Juni 1993 - 25. Juni 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, S. 6 - 9 (Hg. Icking, C.; Klein, R.). 9th European Workshop on Computational Geometry, Hagen, Germany, 18. März 1993 - 19. März 1993. FernUniversität, Hagen (1993)

Sibeyn, J.; Kaufmann, M.; Raman, R.: Randomized Routing on Meshes with Buses. In: Algorithms - ESA '93, S. 333 - 344 (Hg. Lengauer, T.). First Annual European Symposium on Algorithms, Bad Honnef, Germany, 30. September 1993 - 02. Oktober 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), S. 301 - 308 (Hg. 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, S. 43 - 54 (Hg. Ohlbach, H. J.). GWAI 1992, Bonn, 31. August 1992 - 03. September 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), Bd. 1, S. 60 - 65 (Hg. Bajcsy, R.). 13th International Joint Conference on Artificial Intelligence, Chambéry, France, 28. August 1993 - 03. September 1993. Morgan Kaufmann, Chambery, France (1993)