Nonmonotonic rule systems with recursive sets of restraints
From MaRDI portal
Publication:1389245
zbMath0938.03043MaRDI QIDQ1389245
Jeffery B. Remmel, Victor W. Marek
Publication date: 14 June 2000
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Applications of computability and recursion theory (03D80)
Related Items (1)
This page was built for publication: Nonmonotonic rule systems with recursive sets of restraints
