%0 Conference Paper %1 journals/corr/abs-2208-03092 %A Alberti, Marco %A Zese, Riccardo %A Riguzzi, Fabrizio %A Lamma, Evelina %B ICLP Technical Communications / Doctoral Consortium %D 2022 %E Lierler, Yuliya %E Morales, José F. %E Dodaro, Carmine %E Dahl, Verónica %E Gebser, Martin %E Tekle, K. Tuncay %K dblp %P 65-78 %T An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs364.html#abs-2208-03092 %V 364

@inproceedings{journals/corr/abs-2208-03092, added-at = {2022-12-07T00:00:00.000+0100}, author = {Alberti, Marco and Zese, Riccardo and Riguzzi, Fabrizio and Lamma, Evelina}, biburl = {https://www.bibsonomy.org/bibtex/29cac89d70e4cae1ccf8e182b506b0397/dblp}, booktitle = {ICLP Technical Communications / Doctoral Consortium}, crossref = {journals/corr/abs-2208-02685}, editor = {Lierler, Yuliya and Morales, José F. and Dodaro, Carmine and Dahl, Verónica and Gebser, Martin and Tekle, K. Tuncay}, ee = {https://doi.org/10.48550/arXiv.2208.03092}, interhash = {bd3d2f58b2b84f9106e078bc3443ec0c}, intrahash = {9cac89d70e4cae1ccf8e182b506b0397}, keywords = {dblp}, pages = {65-78}, series = {EPTCS}, timestamp = {2024-04-09T09:29:27.000+0200}, title = {An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs364.html#abs-2208-03092}, volume = 364, year = 2022 }