Generalizing Generalization: towards a framework for anti-unification in Logic Programming

Yernaux, G. (Speaker)

Activity: Talk or presentation types › Oral presentation

Period22 Nov 2019
Event typeConference
LocationNamur, Belgium
Degree of RecognitionNational

Related content

Activities

Grascomp Doctoral Day

Activity: Participating in or organising an event types › Participation in conference

Research Output

Generalizing Generalization: towards a framework for anti-unification problems in Logic Programming

Research output: Contribution to conference › Paper

Projects

Algorithmic equivalence by generalization-driven transformations of logic programs

Project: PHD