A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming
収録刊行物
-
- Soft Computing Systems, Frontiers in AI Appli.
-
Soft Computing Systems, Frontiers in AI Appli. 87 775-784, 2002
IOS Press