Generalization, also called anti-unification, is the dual of unification. Given terms t and t , a generalizer is a term t of which t and t are substitution instances. The dual of a most general unifier (mgu) is that of ...

[EN] Post-mortem fertilization is an assisted reproduction technique that allows a woman to give birth to a child after the death of the male. Its regulation is set out in the law of 1988, but there are numerous legal gaps, ...

[ES] Herencia fracturada, archivo y memoria. Una ventana al pasado, es el resultado de la investigación y producción artística interdisciplinar llevada a cabo sobre la relación tan directa que tienen los recuerdos, las ...

[ES] Los continuos avances científicos, junto con los avances sociales han provocado la necesidad de una regulación de las técnicas de reproducción asistida. Sin embargo, la legislación actual no abarca todos los posibles ...

[EN] Ontology engineering should be grounded on a protocol of well-founded guidelines concerning the structuring of the ontology as well as the elements to be included and their ontological properties. A sound methodology ...