A General First-Order Solution to the Ramification Problem

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

A General First-Order Solution to the Ramification Problem

Hannes StraßHannes Straß,  Michael ThielscherMichael Thielscher
Hannes Straß, Michael Thielscher
A General First-Order Solution to the Ramification Problem
In Thomas Meyer and Eugenia Ternovska, eds., Proceedings of the Thirteenth International Workshop on Non-Monotonic Reasoning (NMR), May 2010. CEUR-WS.org
    @inproceedings{ST2010,
      author    = {Hannes Stra{\ss} and Michael Thielscher},
      title     = {A General First-Order Solution to the Ramification Problem},
      editor    = {Thomas Meyer and Eugenia Ternovska},
      booktitle = {Proceedings of the Thirteenth International Workshop on
                   Non-Monotonic Reasoning (NMR)},
      publisher = {CEUR-WS.org},
      year      = {2010},
      month     = {May}
    }