A General First-Order Solution to the Ramification Problem

Hannes StraßHannes Straß, Michael ThielscherMichael Thielscher

Download

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

Details
Bibtex

@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}
}