Modal resolution in standard clausal form.

Authors :: Sun Jigui
Tang Rikun
Liu Xuhua
Source :: Proceedings of Third Australian & New Zealand Conference on Intelligent Information Systems ANZIIS-95; 1995, p193-197, 5p
Publication Year :: 1995

Language :: English
ISBNs :: 9780864224309
Database :: Complementary Index
Journal :: Proceedings of Third Australian & New Zealand Conference on Intelligent Information Systems ANZIIS-95
Publication Type :: Conference
Accession number :: 92329723
Full Text :: https://doi.org/10.1109/ANZIIS.1995.705739