Sök efter tagg: "reasoning"

In this lecture, the topic of intelligent software agents is covered

In this lecture the topics of ontologies and knowledge graphs are covered.

In this lecture, the topic of automated reasoning and planning are covered.

In this seminar the topics of automated reasoning and reasoning under uncertainty are covered. This is the initial lecture for the presentation of the seminars of the same topic

Timotheus Kampik is a PhD Student at the Department of Computing Science, Umeå University Abstract: The seminar will provide an overview of the intersection of research on human reasoning and…