Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau

Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists - SAICSIT '15 ◽

10.1145/2815782.2815823 ◽

2015 ◽

Author(s):

Mapetlwane Litha Mokwana ◽

John Andrew van der Poll

Download Full-text