Semantic Operators and Fixed-Point Theory in Logic Programming

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

Toggle side column

Semantic Operators and Fixed-Point Theory in Logic Programming

Pascal HitzlerPascal Hitzler,  Anthony Karel SedaAnthony Karel Seda
Semantic Operators and Fixed-Point Theory in Logic Programming


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