Publication:4518180
From MaRDI portal
zbMath0957.03039MaRDI QIDQ4518180
Jie Yang, Yong Yang, Xufeng Lin
Publication date: 22 March 2001
nonmonotonic reasoning; theorem prover; nonmonotonic truth maintenance; prioritized justifications; prioritized nonmonotonic logics; stratified truth maintenance
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
03B70: Logic in computer science