Browsing by Subject Non-monotonic reasoning
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| 2021 | Automated non-monotonic reasoning in System P | Stojanović, Tatjana; Ikodinović, Nebojša ; Davidović, Tatjana; Ognjanović, Zoran | M22 |