|
The first video of the Inf2d lecture on Situation Calculus.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This video shows how to use a Karnaugh map to represent an arbitrary Boolean function of four variables as a conjunctive normal form (CNF) — a conjunction of disjunctions of literals.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This video shows how blocks of zeros, which correspond to disjund=ctions of literals, lead us to conjunctive normal form (CNF) which we met earlier as the output of our reduction procedure. CNF is in…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
More on blocks of ones (which correspond to conjunctions of literals).This video shows how to use a Karnaugh map to represent an arbitrary Boolean function of four variables as a disjunctive normal…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This video shows you how to find your way through the state space represented by a Karnaugh Map, and introduces features called blocks. In this video we focus on blocks of ones.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
M2 W3 DefiningPlace
Licence Type
Creative Commons - Attribution Share A Like
|
|
Examples in PDDL
Licence Type
All rights reserved The University of Edinburgh
|
|
False Positives and False Negatives
Licence Type
Creative Commons - Attribution
|