idUS - Recently added

Artículos (Ciencias de la Computación e Inteligencia Artificial): Recent submissions

Now showing items 1-20 of 119

A logic-algebraic tool for reasoning with Knowledge-Based Systems [Article]

Alonso Jiménez, José Antonio; Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Fernández Lebrón, María Magdalena; Hidalgo Doblado, María José (2018)
Modelling algebraic structures and morphisms in ACL2 [Article]

Heras, Jonathan; Martín Mateos, Francisco Jesús; Pascual, Vico (2015)
Verifying the bridge between simplicial topology and algebra: the Eilenberg–Zilber algorithm [Article]

Lambán Pardo, Laureano; Rubio, Julio; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (2013)
Una aplicación de las tecnologías de la web semántica al estudio del periodismo de la Edad Moderna [Article]

Baena Sánchez, Francisco; Chávez González, Antonia María (2017)
Proof Pearl: a Formal Proof of Higman’s Lemma in ACL2 [Article]

Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José (2011)
Formalization of a normalization theorem in simplicial topology [Article]

Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Rubio, Julio; Ruiz Reina, José Luis (2012)
Formal verification of a generic framework to synthesize SAT-provers [Article]

Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Ruiz Reina, José Luis (2004)
Formal proofs about rewriting using ACL2 [Article]

Ruiz Reina, José Luis; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús (2002)
Formal Correctness of a Quadratic Unification Algorithm [Article]

Ruiz Reina, José Luis; Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José (2006)
Efficient execution in an automated reasoning environment [Article]

Greve, David A.; Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother; Ray, Sandip; Ruiz Reina, José Luis; Sumners, Rob; Vroon, Daron; Wilding, Matthew (2008)
Constructing Formally Verified Reasoners for the ALC Description Logic [Article]

Hidalgo Doblado, María José; Alonso Jiménez, José Antonio; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (2008)
A verified Common Lisp implementation of Buchberger's algorithm in ACL2 [Article]

Medina Bulo, Inmaculada; Palomo Lozano, Francisco; Ruiz Reina, José Luis (2010)
A Formal Proof of Dickson’s Lemma in ACL2 [Presentation]

Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Ruiz Reina, José Luis (2003)
Towards a digital geography of Hispanic Baroque art [Article]

Suárez, Juan Luis; Sancho Caparrini, Fernando; Ortega, Elika; Rosa Pérez, Javier de la; Caldas, Natalia; Brown, David (2013)
A Virtual Laboratory for the Study of History and Cultural Dynamics [Article]

Suárez, Juan Luis; Sancho Caparrini, Fernando (2011)
Sustaining a Global Community: Art and Religion in the Network of Baroque Hispanic-American Paintings [Article]

Suárez, Juan Luis; Sancho Caparrini, Fernando; Rosa Pérez, Javier de la (2012)
The Potosí principle: religious prosociality fosters selforganization of larger commnities under extreme natural and economic conditions [Article]

Suárez, Juan Luis; Vázquez, Siddharta; Sancho Caparrini, Fernando (2012)
Semantic Preserving Embeddings for Generalized Graphs [Article]

Almagro Blanco, Pedro; Sancho Caparrini, Fernando (2017)
Induction of Decision Trees based on Generalized Graph Queries [Article]

Almagro Blanco, Pedro; Sancho Caparrini, Fernando (2017)
Generalized Graph Pattern Matching [Article]

Almagro Blanco, Pedro; Sancho Caparrini, Fernando (2017)