Aldizkaria, kongresua, liburua, liburu atala edo hitzaldi gonbidatua

Automatic white-box testing of first-order logic ontologies

Formal ontologies are axiomatizations in a logic-based formalism. The development of formal ontologies is generating considerable research on the use of automated reasoning techniques and tools that help in ontology engineering. One of the main aims is to refine and to improve axiomatizations for enabling automated reasoning tools to efficiently infer reliable information. Defects in the axiomatization cannot only cause wrong inferences, but can also hinder the inference of expected information, either by increasing the computational cost of or even preventing the inference.

Helduen hizkuntza i(ra)kaskuntzan hizkuntza-teknologiak: zenbait arrakasta eta euskararen etorkizuneko erronkak

Hitzaldi honen helburua da euskararen (eta beste hizkuntzen) ikas-irakaskuntzan hizkuntza-teknologiaren ekarpena zein den erakustea. Horretarako, azalduko da zer egin daitekeen hizkuntza “ulertzen” duen teknologiarekin, edo bestela esanda, datu linguistikoak erabiltzen dituen teknologiarekin: zer den hizkuntza-teknologia eta eskolan aurrez aurreko edo elearning modalitatean nola erabiltzen den eta nola erabil daitekeen, bai nazioarteko zenbait lan aipatuz, bai euskaraz erabilgarri dagoena erakutsiz.

Orriak

RSS - Aldizkaria, kongresua, liburua, liburu atala edo hitzaldi gonbidatua-rako harpidetza egin