(Q5514059)

methods in artificial intelligence research that are based on high-level symbolic representations of problems, logic and search, dominant from the 1950s until the 1980s