
Knowledge Verification System with Unproved Pairwise Checking Method
Author(s) -
Euy-Hyun Suh
Publication year - 2003
Publication title -
han-gug jineung siseutem haghoe nonmunji/han-guk jineung siseutem hakoe nonmunji
Language(s) - English
Resource type - Journals
eISSN - 2288-2324
pISSN - 1976-9172
DOI - 10.5391/jkiis.2003.13.5.505
Subject(s) - pairwise comparison , consistency (knowledge bases) , computer science , property (philosophy) , reliability (semiconductor) , sequential consistency , inference , consistency model , representation (politics) , model checking , data mining , reliability engineering , theoretical computer science , artificial intelligence , data consistency , distributed computing , engineering , philosophy , power (physics) , physics , epistemology , quantum mechanics , politics , political science , law