FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Sofronie-Stokkermans, Viorica
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity ResultsHarald Ganzinger (Hrsg). Automated Deduction - CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Berlin: Springer 1999 S. 157 - 171
Fensel, Dieter; Angele, Jürgen; Decker, Stefan et al.
On2broker: Semantic-Based Access to Information Sources at the WWWDieter Fensel; Craig Knoblock; Nicholas Kushmerick; Marie-Christine Rousset (Hrsg). Proceedings of the IJCAI-99 Workshop on Intelligent Information Integration: Held on July 31, 1999 in conjunction with the Sixteenth International Joint Conference on Artificial Intelligence; City Conference Center, Stockholm, Sweden. Aachen: CEUR/RWTH 1999 S. 1 - 5
Fensel, Dieter; Angele, Jürgen; Decker, Stefan et al.
On2broker: Semantic-based access to information sources at the WWWPaul De Bra; John J. Leggett (Hrsg). Proceedings of WebNet 99 - World Conference on the WWW and Internet, Honolulu, Hawaii, USA, October 24-30, 1999; Volume 1. Charlottesville, VA: Association for the Advancement of Computing in Education 1999 S. 366 - 371
von Kortzfleisch, Harald; Al-Laham, Andreas
Potentials and Restrictions of Knowledge ManagementeJOV: Journal of Organizational Virtualness. Bd. 1. H. 1. Bern: Simowa 1999 S. 87 - 99
Hornegger, Joachim; Paulus, Dietrich; Niemann, Heinrich
Probabilistic Modeling in Computer VisionBernd Jähne;Horst Haußecker;Peter Geißler (Hrsg). Handbook of Computer Vision and Applications: Volume 1 - Sensors and Imaging. San Diego, CA: Academic Press 1999 S. 817 - 854
Sofronie-Stokkermans, Viorica
Representation Theorems and Theorem Proving in Non-Classical LogicsRolf Drechsler; Bernd Becker (Hrsg). Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic ISMVL 1999; 20. - 22. May, 1999; Freiburg im Breisgau. Los Alamitos, CA: IEEE Computer Society 1999 S. 242 - 247
Murray, J.; Stolzenburg, F.; Obst, O. et al.
RoboLog Koblenz: Complex Agent Scripts Implemented in LogicProceedings of the Workshop RoboCup during KI´99. 1999 S. 12-25
Staab, Steffen; Hahn, Udo
Scalable Temporal ReasoningThomas Dean (Hrsg). Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence IJCAI 1999: Stockholm, Sweden; July 31-August 6,1999; Volume 2. San Francisco, CA: Morgan Kaufmann Publishers 1999 S. 1247 - 1252
Troitzsch, Klaus G.
Simulation as a Tool to Model Stochastic Processes in Complex SystemsBrenner, Th. (Hrsg). Computational Techniques for Modelling Learning in Economics. Boston u. a.: Kluwer 1999 S. 45 - 69 (Advances in computational economics ; 11)
Gilbert, G. Nigel; Troitzsch, Klaus G.
Simulation for the Social ScientistBuckingham: Open University Press 1999 0 S.