Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 41 bis 50 von 102
  1. Deductive Proof Support for Invariants of State-Transition Systems

    In: O. Herzog (Hrsg.). Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. German Conference on Artificial Intelligence (KI), …

  2. Using Semantic Knowledge by Annotating Formulas

    In: D. Basin; D. Gabbay (Hrsg.). Proceedings 1st Workshop on Labelled Deduction. Workshop on Labelled Deduction, Freiburg, 1998.

  3. Erica Melis; Axel Schairer

    Similarities and Reuse of Proofs in Formal Software Verification

    In: Barry Smyth; Pàdraig Cunningham (Hrsg.). Advances in Case-Based Reasoning, Proceedinges of the Fourth European Workshop on Case Based Reasoning …

  4. Andreas Nonnengart; Georg Rock; Christoph Weidenbach

    On Generating Small Clause Normal Forms

    In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. International Conference on Automated Deduction (CADE), Pages …

  5. Georg Rock; Werner Stephan; Andreas Wolpers

    Assumption-Commitment Specifications and Safety-Critical Systems

    In: Hartmut König; Peter Langendörfer (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-98), 8. June 4-5, …

  6. Hans-Ulrich Krieger

    Typed Feature Structures, Definite Equivalences, Greatest Model Semantics, and Nonmonotonicity

    In: 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS '98). Workshop on Mathematical Linguistics, August 24-28. …

  7. Judith Klein; Thierry Declerck; Günter Neumann

    Evaluation of the Syntactic Analysis Component of an Information Extraction System for German

    In: Proceedings of the 1st International Conference on Language Resources and Evaluation. International Conference on Language Resources and …

  8. Judith Klein; Thierry Declerck

    Annotating German Language Data for Shallow Processing

    In: Proceedings of the 10th European Summer School in Logic, Language and Information. European Summer School in Logic, Language and Information …

  9. Towards a Methodology for Developing Application-Oriented Report Generation

    In: Otthein Herzog; Andreas Günther (Hrsg.). Advances in Artificial Intelligence. 22nd Annual German Conference on Artificial Intelligence. German …

  10. Klaus Netter; Djoerd Hiemstra; Franciska de Jong (Hrsg.)

    Language Technology in Multimedia Information Retrieval. Proceedings of the 14th Twente Workshop on Language Technology (TWLT 14), December 7-8

    Twente Workshop on Language Technology (TWLT), University of Twente, Enschede, The Netherlands, 1998.