Search for tag: "factoring"

13.a duration 12 minutes 19 seconds 13.a 13.a	13.a The first video on the first Inf2d lecture on Resolution. inf2d reasoning and agents resolution artificial intelligence rule clause inference literals clauses algorithm honey unifier theta result ground factoring alpha substitution disjunction sentence From Claudia-Elena Chirita 0 likes 220 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English

duration 12 minutes 19 seconds

13.a

The first video on the first Inf2d lecture on Resolution.

From Claudia-Elena Chirita 0 likes 220 plays 0

Course Code

INFR08010

Licence Type

Language

English