Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Francisco-Jesús Martín Mateos"'
This book constitutes revised selected papers from the Second International Workshop on Future and Emerging Trends in Language Technology, FETLT 2016, which took place in Seville, Spain, in November 2016. The 10 full papers and 5 position papers pres
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319693644
Future and Emerging Trends in Language Technology. Machine Learning and Big Data
Future and Emerging Trends in Language Technology. Machine Learning and Big Data
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e2b960c852e37d0fae9c730675606abb
https://doi.org/10.1007/978-3-319-69365-1
https://doi.org/10.1007/978-3-319-69365-1
This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Future and Emergent Trends in Language Technology, FETLT 2015, held in Seville, Spain, in November 2015. The 10 full papers presented tog
Publikováno v:
Logic Journal of IGPL. 22:39-65
The Eilenberg-Zilber algorithm is one of the central components of the computer algebra system called Kenzo, devoted to computing in Algebraic Topology. In this article we report on a complete formal proof of the underlying Eilenberg-Zilber theorem,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::092f7365a7ff5e53d1a560bea36fc6ba
https://doi.org/10.1093/jigpal/jzt034
https://doi.org/10.1093/jigpal/jzt034
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319334998
Future and Emergent Trends in Language Technology
Future and Emergent Trends in Language Technology
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0215afc96a8f0a3ce04f5251d04326d6
https://doi.org/10.1007/978-3-319-33500-1
https://doi.org/10.1007/978-3-319-33500-1
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
Annals of Mathematics and Artificial Intelligence
instname
Annals of Mathematics and Artificial Intelligence
In this paper we present a complete formalization of the Normalization Theorem, a result in Algebraic Simplicial Topology stating that there exists a homotopy equivalence between the chain complex of a simplicial set, and a smaller chain complex for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d314b975e79550b175793b421145ea5
https://doi.org/10.1007/s10472-011-9274-6
https://doi.org/10.1007/s10472-011-9274-6
Publikováno v:
RIUR: Repositorio Institucional de la Universidad de La Rioja
Universidad de La Rioja (UR)
RIUR. Repositorio Institucional de la Universidad de La Rioja
instname
idUS. Depósito de Investigación de la Universidad de Sevilla
Universidad de La Rioja (UR)
RIUR. Repositorio Institucional de la Universidad de La Rioja
instname
idUS. Depósito de Investigación de la Universidad de Sevilla
In this paper, we present how algebraic structures and morphisms can be modelled in the ACL2 theorem prover. Namely, we provide a guide- line to implement a set of tools that facilitates the formalisations related to algebraic structures | as a resul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8dd1a22f818a35109b123da8acb1c0cc
https://investigacion.unirioja.es/documentos/5bbc6998b750603269e81e18
https://investigacion.unirioja.es/documentos/5bbc6998b750603269e81e18
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
We present in this paper an application of the ACL2 system to generate and reason about propositional satis ability provers. For that purpose, we develop a framework where we de ne a generic SAT-prover based on transformation rules, and we formalize
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a1b8c7b81f5875c8e28790d4e936f731
https://doi.org/10.1007/bf03177742
https://doi.org/10.1007/bf03177742
Publikováno v:
Annals of Mathematics and Artificial Intelligence. 36:239-262
We present an application of the ACL2 theorem prover to reason about rewrite systems theory. We describe the formalization and representation aspects of our work using the first-order, quantifier-free logic of ACL2 and we sketch some of the main poin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f186a1db21abce2d44bd18c3d14879ab
https://doi.org/10.1023/a:1016003314081
https://doi.org/10.1023/a:1016003314081
Autor:
M. J. Hidalgo-Doblado, Joaquín Borrego-Díaz, José-Luis Ruiz-Reina, José A. Alonso-Jiménez, Francisco-Jesús Martín-Mateos
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One of the most basic description logics is ALC , used as a basis from which to obtain others. Description logics are particularly i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::faf8a0003b3c75f1c0f26accbf5996d9