Tatjana Stojanovic, Nebojsa Ikodinovic, Tatjana Davidovic, Zoran Ognjanovic. Automated non-monotonic reasoning in System P. Annals of Mathematics and Artificial Intelligence, 89(5):471-509, 2021. [doi]
@article{StojanovicIDO21,
title = {Automated non-monotonic reasoning in System P},
author = {Tatjana Stojanovic and Nebojsa Ikodinovic and Tatjana Davidovic and Zoran Ognjanovic},
year = {2021},
doi = {10.1007/s10472-021-09738-2},
url = {https://doi.org/10.1007/s10472-021-09738-2},
researchr = {https://researchr.org/publication/StojanovicIDO21},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {89},
number = {5},
pages = {471-509},
}