Characterizing logic programming semantics with level mappings

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

Toggle side column

Characterizing logic programming semantics with level mappings

Pascal HitzlerPascal Hitzler,  Matthias WendtMatthias Wendt
Characterizing logic programming semantics with level mappings


Pascal Hitzler, Matthias Wendt
Characterizing logic programming semantics with level mappings
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, 60-67, April 2003. TU Dresden, 01062 Dresden
@inproceedings{HW2003,
  author    = {Pascal Hitzler and Matthias Wendt},
  title     = {Characterizing logic programming semantics with level mappings},
  editor    = {Bertram Fronh{\"{o}}fer and Steffen H{\"{o}}lldobler},
  booktitle = {17. {WLP:} Workshop Logische Programmierung, {TU} Dresden,
               December 11{\textendash}13, 2002},
  series    = {Technische Berichte der Fakult\"at Informatik},
  year      = {2003},
  month     = {April},
  pages     = {60-67}
}