... > Informatikk, informasjon og generelle verker > Informatikk, kunnskap og systemer > Informatikk; programvareutvikling, programvare, data; spesielle datamaskinmetoder > Spesielle datamaskinmetoder > Kunstig intelligens og naturlige beregningsmetoder > Kunnskapsbaserte systemer > Deduksjon, problemløsing, resonnement