Course Description

Raw: Temporal and nonmonotonic logic; truth maintenance systems; probabilistic reasoning; deductiv

Stemmed: tempor nonmonoton logic truth mainten system probabilist reason deduct databas autom learn plan tuto

Inferred Topics

No prerequisites registered.