Towards a Systematic Account of Different Logic Programming Semantics

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

Toggle side column

Towards a Systematic Account of Different Logic Programming Semantics

Pascal HitzlerPascal Hitzler
Towards a Systematic Account of Different Logic Programming Semantics


Pascal Hitzler
Towards a Systematic Account of Different Logic Programming Semantics
In Rudolf Kruse Andreas Günter and Bernd Neumann, eds., KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003, volume 2821 of Lecture Notes in Artificial Intelligence, 355-369, 2003. Springer
The final publication is available at Springer.
@inproceedings{H2003,
  author    = {Pascal Hitzler},
  title     = {Towards a Systematic Account of Different Logic Programming
               Semantics},
  editor    = {Rudolf Kruse Andreas G{\"{u}}nter and Bernd Neumann},
  booktitle = {KI2003: Advances in Artificial Intelligence. Proceedings of the
               26th Annual German Conference on Artificial Intelligence,
               {KI2003,} Hamburg, Germany, September 2003},
  series    = {Lecture Notes in Artificial Intelligence},
  volume    = {2821},
  publisher = {Springer},
  year      = {2003},
  pages     = {355-369}
}