Problem solving

14 novembro 2013, 11:00 • Luís Manuel Marques Custódio

Solving the 1st test of 2012/2013

Resolution in first order logic

14 novembro 2013, 09:30 • Rodrigo Ventura

Dealing with equality: modulation and paramodulation. Strategies for inference in first-order logic. Definite and Horn clauses. Forward and backward chaining.

Resolution in first order logic

12 novembro 2013, 11:00 • Rodrigo Ventura

Resolution inference rule. Factoring. Completeness of resolution.

Problem solving

7 novembro 2013, 11:00 • Luís Manuel Marques Custódio

Propositional logic problems

• Models
• Logical implication
• Inference rules
• Natural deduction inference system

Resolution in first order logic

7 novembro 2013, 09:30 • Rodrigo Ventura

Unification. Most general unifier. Resolution inference rule.