This course covers the Foundations of symbolic Artificial Intelligence (AI) in particular, problem solving by heuristic search, game play via adversarial search, constraint satisfaction, logic and inference, and planning. The companion course KI-2 will cover reasoning under uncertainty and machine learning.
Prof. Dr. Michael Kohlhase
Michael Zaletel & Cem Kilicli
Nick Kennedy
THRIVE IMPACT
Nicole Brewer
Dan McKeown, Will Walker
AutoML Media
Nifty Learning
Primedia Broadcasting
Zygo Corporation
Machine Learning Street Talk
Primaned
Marihely Martínez
The Open University
Black Women in STEM 2.0
Filipe Lauar
Allen Institute for Artificial Intelligence
Kimberly Nevala, Strategic Advisor - SAS
Johnny Hamilton
Louise Kringelum
Project4 Learning Lab
Cambridge University
Chalmers Production Area of Advance
Type Cast Heroes
Digital Enterprise Society
Oxford University
KDMac
Dr. Ronald Knight-Beck
Cambridge University
BenchSci
None
Suzie Lewis
Marcel Kurovski
Prof. Dr. Michael Kohlhase
Prof. Dr. Michael Kohlhase
GlobalGyan Academy of Management Education
DevMumbles
Dr. Brad R. Fulton
abbi
Real Ed
London Futurists
SWARM Engineering
ResearchOps Community
Samuel Chandra
Sam Charrington
Christina Corser & Nick DiNardo: K-12 Teacher and Blended Learning Strategist
Ed Chair Talk
Claire Sewell
Project4 Learning Lab
Robin Ranjit Singh Chauhan
Armada Consulting
Lindsey Rogers
Rob
ScienceTalks
Mimi Ho, Mike Cianfrocco, and Liz Kellogg
Rebecca Reed
Steve Price
Patrick Willis
Andrew Pynch
satsearch
Kris Villez and Jörg Rieckermann
Hadley Christoffels
Yannic Kilcher
Aoife Jenkins
The Speexx Exchange Podcast with Donald Taylor
Brendan Aldrich
Jessica Curtis
TGR Management Consulting
Siemens Digital Industry Software
Oxford University
Nicholas D. Garcia
John Russell
The Open University
Cambridge University
Cambridge University
Justyna Pindel and Paul Klipp
Sean Welleck
JISC
ACTNext Navigator
UMBC Mic'd Up with Dennise
Sri Krishnamurthy
The Change Compass
RE•WORK
Jill Felska
Cambridge University
The Solas Group
Jasmeet
Kambiz Chizari, Ilyass Tabiai
DEUS
Berkeley MDes
Anastasiia Kozina
ACD/Labs
Tangity
Stanford Materials Computation and Theory Group, Qian Yang's lab at the University of Connecticut
CTIO101.COM
Archlite Assignment
Mark McBride-Wright
Luke Skaggs
UNIL | Université de Lausanne