Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 91 to 100 of 102.
  1. Paul Buitelaar

    CoreLex: An Ontology of Systematic Polysemous Classes

    In: Proceedings of the 1st International Conference on Formal Ontology in Information Systems (FOIS'98), June 6-8. International Conference on Formal …

  2. Tania Avgustinova

    On Word Order Types in Bulgarian

    In: Beiträge der Europäischen Slavistischen Linguistik (POLYSLAV 1). Pages 19-25, Die Welt der Slaven, 2. Sammelband, Vol. 1, Verlag Otto Sagner, …

  3. Tania Avgustinova; Bistra Andreeva

    Intonational Properties of Bulgarian Replicated Nominal Material. A Study Based on Map Task Dialogues

    In: Proceedings of the 1st Conference on Linguistic Theory in Eastern Europaen Languages. Conference on Linguistic Theory in Eastern European …

  4. Tania Avgustinova

    Determinedness and Replication Potential of Nominal Material in Bulgarian

    In: Balkanistica. Pages 1-17, Vol. 11, Design Systems Printing, 1998.

  5. Structuring Deduction by Using Abstractions

    In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on …

  6. 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), …

  7. Using Semantic Knowledge by Annotating Formulas

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

  8. 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 …

  9. 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 …