A General First-Order Solution to the Ramification Problem

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

„May“ befindet sich nicht in der Liste (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, ...) zulässiger Werte für das Attribut „Month“.

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),  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}
    }