Semantic Operators and Fixed-Point Theory in Logic Programming

Pascal HitzlerPascal Hitzler, Anthony Karel SedaAnthony Karel Seda

Pascal Hitzler, Anthony Karel Seda
Semantic Operators and Fixed-Point Theory in Logic Programming
In N. Callaos and others, eds., Proceedings of the joint IIIS and IEEE meeting of the 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI2001) and the 7th International Conference on Information Systems Analysis and Synthesis (ISAS2001), Orlando, Florida, USA, July, 2001, volume VII, Computer Science and Engineering Part 1, 224-229, 2001. International Institute of Informatics and Systemics: IIIS

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{HS2001,
  author    = {Pascal Hitzler and Anthony Karel Seda},
  title     = {Semantic Operators and Fixed-Point Theory in Logic Programming},
  editor    = {N. Callaos and others},
  booktitle = {Proceedings of the joint {IIIS} and {IEEE} meeting of the 5th
               World Multiconference on Systemics, Cybernetics and Informatics
               (SCI2001) and the 7th International Conference on Information
               Systems Analysis and Synthesis (ISAS2001), Orlando, Florida,
               {USA,} July, 2001},
  volume    = {VII, Computer Science and Engineering Part 1},
  publisher = {International Institute of Informatics and Systemics: {IIIS}},
  year      = {2001},
  pages     = {224-229}
}