004 artificialintelligence computationalcomplexity computerprogramming computers computerscience(hardware computersystemsprogramming congresses dataprocessing informationtechnology knowledgerepresentation(informationtheory) machinetheory networks) problemsolving prolog(computerprogramlanguage)