Hustadt, U.: Do we need the closed-world assumption in knowledge representation? In: {KI-94} Workshops: Extended Abstracts, pp. 293 - 294 (Eds. Kunze, J.; Stoyan, H.). Untitled Event, Saarbrücken, Germany, 1994. Gesellschaft für Informatik, Bonn, Germany (1994)

Jaeger, M.: A Logic for Default Reasoning About Probabilities. In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence (UAI'94), pp. 352 - 359 (Eds. Lopez de Mantaraz, R.; Poole, D.). Untitled Event, Seattle, USA, 1994. Morgan Kaufmann, San Mateo, CA (1994)

Jaeger, M.: Probabilistic Reasoning in Terminological Logics. In: Principles of Knowledge Representation an Reasoning: Proceedings of the 4th International Conference (KR94), pp. 305 - 316 (Eds. Doyle, J.; Sandewall, E.; Torasso, P.). Untitled Event, Bonn, Germany. Morgan Kaufmann, San Mateo, CA (1994)

Johann, P.; Socher-Ambrosius, R.: Solving Simplificating Ordering Constraints. In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), pp. 352 - 367 (Ed. Jouannaud, J.-P.). Untitled Event, Munich, Germany, 1994. Springer, Berlin, Germany (1994)

Johann, P.; Socher-Ambrosius, R.: Solving Simplification Ordering Constraints. In: Constraints in Computational Logics, pp. 352 - 367 (Ed. Jouannaud, J.-P.). 1st International Conference on Constraints in Computational Logics, Munich, Germany, September 07, 1994 - September 09, 1994. Springer, Berlin, Germany (1994)

Jünger, M.; Mutzel, P.: The Polyhedral Approach to the Maximum Planar Subgraph Problem: New Chances for Related Problems. In: Graph Drawing, pp. 119 - 130 (Eds. Tamassia, R.; Tollis, I. G.). DIMACS International Workshop on Graph Drawing, Princeton, New Jersey, USA, October 10, 1994 - October 12, 1994. Springer, Berlin, Germany (1994)

Kapoor, S.; Smid, M.: New Techniques for Exact and Approximate Dynamic Closest-point Problems. In: Proceedings of the 10th Symposium on Computational Geometry, pp. 165 - 174. 10th Symposium on Computational Geometry, Stony Brook, NY, USA, June 06, 1994 - June 08, 1994. ACM, New York (1994)

Kaufmann, M.; Meyer, U.; Sibeyn, J. F.: Towards Practical Permutation Routing on Meshes. In: Proceedings of the 6th IEEE Symposium on Parallel and Distributed Processing, pp. 656 - 663. Untitled Event, Dallas, Texas, 1994. IEEE, Los Alamitos, USA (1994)

Kaufmann, M.; Sibeyn, J.; Suel, T.: Derandomizing Algorithms for Routing and Sorting on Meshes. In: Proceedings of the Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 669 - 679. Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, Arlington, VA, USA, January 23, 1994 - January 25, 1994. ACM / SIAM, New York, USA (1994)

Kavvadias, D.; Pantziou, G. E.; Spirakis, P. G.; Zaroliagis, C.: Hammock-on-ears Decomposition: A Technique for the Efficient Parallel Solution of Shortest Paths and other Problems. In: Mathematical Foundations of Computer Science 1994, pp. 462 - 472 (Eds. Prívara, I.; Rovan, B.; Ruzicka, P.). 19th International Symposium on Mathematical Foundations of Computer Science, Kosice, Slovakia, August 22, 1994 - August 26, 1994. Springer, Berlin (1994)

Kavvadias, D.; Pantziou, G. E.; Spirakis, P. G.; Zaroliagis, C.: Efficient Sequential and Parallel Algorithms for the Negative Cycle Problem. In: Algorithms and Computation, pp. 270 - 278 (Eds. Du, D.-Z.; Zhang, X.-S.). 5th International Symposium on Algorithms and Computation, Beijing, China, August 25, 1994 - August 27, 1994. Springer, Berlin (1994)

Lenhof, H.-P.; Smid, M.: An animation of a fixed-radius all-nearest neighbors algorithm. In: Proceedings of the 10th Symposium on Computational Geometry (SCG94). Untitled Event, Stony Brook, New York, USA, 1994. acm-Press, New York (1994)

Madden, P.: Formal Methods for Automated Program Improvement. In: KI-94: Advances in Artificial Intelligence. Proceedings of the 18th German Annual Conference on Artificial Intelligence, pp. 367 - 378 (Eds. Nebel, B.; Dreschler-Fischer, L.). Untitled Event, Saarbrücken, Germany, 1994. Springer, Berlin, Germany (1994)

Mehlhorn, K.; Näher, S.: The Implementation of Geometric Algorithms. In: Technology and foundations: Information Processing '94 ; proceedings of the IFIP 13th World Computer Congress, pp. 223 - 231. Untitled Event, Hamburg, Germany, August 28, 1994. Elsevier, Amsterdam, The Netherlands (1994)

Mehlhorn, K.; Sundar, R.; Uhrig, C.: Maintaining Dynamic Sequences under Equality-tests in Polylogarithmic Time. In: Proceedings of the Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 213 - 222. Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, Arlington, VA, USA, January 23, 1994 - January 25, 1994. ACM / SIAM, New York, USA (1994)

Nonnengart, A.: How to Use Modalities and Sorts in Prolog. In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, pp. 365 - 378 (Eds. MacNish, C.; Pearce, D.; Pereira, L. M.). Untitled Event, York, UK, 1994. Springer, Berlin, Germany (1994)

Pietracaprina, A.; Pucci, G.; Sibeyn, J.: Constructive Deterministic PRAM Simulation on a Mesh-connected Computer. In: Proceedings of the 6th Symposium on Parallel Algorithms and Architectures, pp. 248 - 256. 6th Annual ACM Symposium on Parallel Algorithms and Architectures, Cape May, NJ, USA, June 27, 1994 - June 29, 1997. ACM, New York, NY (1994)

Plaisted, D. A.: The Search Efficiency of Theorem Proving Strategies. In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), pp. 57 - 71 (Ed. Bundy, A.). Untitled Event, Nancy, France, 1994. Springer, Berlin, Germany (1994)

Rüb, C.: Lower Bounds for Merging on the Hypercube. In: Algorithms and Complexity, pp. 213 - 222 (Eds. Bonuccelli, M.; Crescenzi, P.; Petreschi, R.). Second Italian Conference on Algorithms and Complexity, Rome, Italy, February 23, 1994 - February 25, 1994. Springer, Berlin (1994)

Schiele, B.; Crowley, J. L.: A Comparison of Position Estimation Techniques Using Occupancy Grids. In: IEEE International Conference on Robotics and Automation, pp. 1628 - 1634. IEEE International Conference on Robotics and Automation, San Diego, CA, USA, May 28, 1994 - May 30, 1994. IEEE, Piscataway, NJ (1994)