Zoran Majkic. Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models. In Michael Fink, Hans Tompits, Stefan Woltran, editors, 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006. Volume 1843-06-02 of INFSYS Research Report, pages 120-128, Technische Universität Wien, Austria, 2006. [doi]
@inproceedings{Majkic06:1,
title = {Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models},
author = {Zoran Majkic},
year = {2006},
url = {http://www.kr.tuwien.ac.at/wlp06/11-final.ps.gz},
tags = {semantics, logic programming, programming, logic},
researchr = {https://researchr.org/publication/Majkic06%3A1},
cites = {0},
citedby = {0},
pages = {120-128},
booktitle = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006},
editor = {Michael Fink and Hans Tompits and Stefan Woltran},
volume = {1843-06-02},
series = {INFSYS Research Report},
publisher = {Technische Universität Wien, Austria},
}