Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1999
Alle Filter entfernen
Zeige Ergebnisse 31 bis 40 von 101.

  1. Andreas Abecker; Ansgar Bernardi; Michael Sintek

    Proactive Knowledge Delivery for Enterprise Knowledge Management

    In: KnowTechForum´99, International Knowledge Technology Forum, Potsdam, Germany. International Conference on Knowledge Management and Knowledge Technology (KnowTech), 9/1999.

  2. Andreas Abecker; Ansgar Bernardi; Michael Sintek

    Enterprise Information Infrastructures for Active, Context-Sensitive Knowledge Delivery

    In: ECIS'99 - The 7th European Conference on Information Systems. European Conference on Information Systems (ECIS), Copenhagen, 6/1999.

  3. Andreas Abecker; Ansgar Bernardi; Michael Sintek

    Proactive Knowledge Delivery for Enterprise Knowledge Management

    In: SEKE'99 The Eleventh International Conference on Software and Knowledge Engineering. International Conference on Software Engineering and Knowledge Engineering (SEKE), Kaiserslautern, 6/1999.

  4. Andreas Abecker; Ansgar Bernardi; Michael Sintek

    Developing a Knowledge Management Technology - An Encompassing View on KnowMore, Know-Net, and Enrich

    In: Fawzi Daoud (Hrsg.). IEEE WET-ICE'99 Workshop on Knowledge Media Networking, Stanford, 16-18 June. IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 6/1999.

  5. Heiko Maus

    Towards a Functional Integration of Document Analysis in Workflow Management Systems

    In: Workflow Based Applications, Proceedings of Workflow Management 99. Workflow Management Conference, 1999.

  6. Ansgar Bernardi

    Electronic Fault Recording: A Corporate Memory for Maintenance Support of Complex Machines

    In: Jos F. Schreinemakers; Jean-Paul Barthès (Hrsg.). Knowledge Management: enterprise, network, and learning. International Symposium on Management of Industrial and Corporate Knowledge (ISMICK), Würzburg: Ergon, Pages 109-116, Advances in Knowledge Management, Vol. 2, 1999.

  7. Heiko Mantel; Jens Otten

    linTAP: A Tableau Prover for Linear Logic

    In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), Saratoga Springs, Pages 217-231, LNAI 1617, Springer, 6/1999.

  8. Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

    System Description: INKA 5.0 - A Logical Voyager

    In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction (CADE), Trento, Springer-Verlag, LNAI 1632, 1999.

  9. Dennis Dams; Dieter Hutter; Natalia Sidorova

    Using the INKA prover to automate safety proofs in abstract interpretation - A case study

    In: Françoise Bellegarde; Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S. Workshop on Modelling and Verification, Besançon, 1999.

  10. Dieter Hutter; Alan Bundy

    The Design of the CADE-16 Inductive Theorem Prover Contest

    In: H. Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction (CADE), Trento, Springer-Verlag, LNAI 1632, 1999.

Jahr