@inproceedings{AlbZesRig2022-Iterative-IC,
author = {Alberti, Marco and Zese, Riccardo and Riguzzi, Fabrizio and Lamma, Evelina},
year = {2022},
title = {{An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols}},
editor = {Lierler, Yuliya and Morales, Jose F. and Dodaro, Carmine and Dahl, Veronica and Gebser, Martin and Tekle, Tuncay},
booktitle = {Proceedings of the 38th International Conference on
Logic Programming (Technical Communications)},
series = {Electronic Proceedings in Theoretical Computer Science},
issn = {2075-2180},
volume = {364},
publisher = {Open Publishing Association},
address = {Waterloo, Australia},
pages = {65-78},
doi = {10.4204/EPTCS.364.7},
url = {https://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2022.7},
pdf = {https://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2022.7.pdf}
}
This file was generated by bibtex2html 1.98.