Publication:4426950
From MaRDI portal
zbMath1026.68614MaRDI QIDQ4426950
Publication date: 18 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2639/26390205.htm
rough sets; modal logic; second recursion theorem; abstract approximation spaces; natural deduction set theory; negation in logic programming systems
68T37: Reasoning under uncertainty in the context of artificial intelligence
03B70: Logic in computer science
68N17: Logic programming