Automated non-monotonic reasoning in System P
Crossref DOI link: https://doi.org/10.1007/s10472-021-09738-2
Published Online: 2021-04-07
Published Print: 2021-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Stojanović, Tatjana http://orcid.org/0000-0001-7731-4030
Ikodinović, Nebojša
Davidović, Tatjana
Ognjanović, Zoran
Text and Data Mining valid from 2021-04-07
Version of Record valid from 2021-04-07
Article History
Accepted: 11 March 2021
First Online: 7 April 2021