Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por agencia financiadora 

Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por agencia financiadora "Ministerio de Ciencia Y Tecnología (MCYT). España"

Mostrando ítems 1-4 de 4

    • Ponencia
      Icon

      A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory. 

      Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Ruiz Reina, José Luis (University of Texas, 2002)
      In some cases, when we develop a formal theory in ACL2, it would be desirable that the definitions and theorems of the ...
    • Ponencia
      Icon

      A Theory About First-Order Terms in ACL2 

      Ruiz Reina, José Luis; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús (University of Texas, 2002)
      We describe the development in ACL2 of a library of results about first-order terms. In particular, we present the ...
    • Ponencia
      Icon

      Progress Report: Term Dags Using Stobjs 

      Ruiz Reina, José Luis; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús (University of Texas, 2002)
      We explore in this paper the use of efficient data structures to implement operations on first-order terms, that can be ...
    • Ponencia
      Icon

      Towards a tool for ontology engineering 

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María (IEEE Computer Society, 2004)
      A tool based on a spatial representation of provisional ontologies is designed. The tool allows the cleming of Knowledge Bases, aa well to induce new concepts in early steps of the building of an ontology.