Zobrazeno 1 - 10
of 12
pro vyhledávání: '"José A. Alonso-Jiménez"'
Autor:
M. José Hidalgo-Doblado, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, M. Fernandez-Lebron, José A. Alonso-Jiménez
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
idUS: Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)
instname
idUS: Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)
A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases specified by propositional (Boolean) logic is presented. The model is conceived from the logical translation of usual derivatives on polynomials (on re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::26b078be9e56fe65c89ed47a4506c183
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
Nowadays, data management on the World Wide Web needs to consider very large knowledge databases (KDB). The larger is a KDB, the smaller the possibility of being consistent. Consistency in checking algorithms and systems fails to analyse very large K
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c339cb7a928c49d5887956277813c5ca
https://doi.org/10.4018/978-1-60566-242-8.ch049
https://doi.org/10.4018/978-1-60566-242-8.ch049
Publikováno v:
Encyclopedia of Database Technologies and Applications
Nowadays, data management on the World Wide Web needs to consider very large knowledge databases (KDB). The larger is a KDB, the smaller the possibility of being consistent. Consistency in checking algorithms and systems fails to analyse very large K
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fa11fcc8f29ef513294c926cc35e92bb
https://doi.org/10.4018/978-1-59140-560-3.ch057
https://doi.org/10.4018/978-1-59140-560-3.ch057
Autor:
José A. Alonso-Jiménez, José-Luis Ruiz-Reina, Inmaculada Medina-Bulo, Francisco Palomo-Lozano
Publikováno v:
Artificial Intelligence and Symbolic Computation ISBN: 9783540232124
In this paper, we present the formal verification of a Common Lisp implementation of Buchberger’s algorithm for computing Grobner bases of polynomial ideals. This work is carried out in the Acl2 system and shows how verified Computer Algebra can be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::513db148a46a5692865c8f5a360c09d4
https://doi.org/10.1007/978-3-540-30210-0_15
https://doi.org/10.1007/978-3-540-30210-0_15
Autor:
Joaquín Borrego-Díaz, Miguel A. Gutiérrez-Naranjo, Antonia M. Chávez-González, José A. Alonso-Jiménez, Jorge D. Navarro-Marín
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
Developments in Applied Artificial Intelligence ISBN: 9783540404552
IEA/AIE
instname
Developments in Applied Artificial Intelligence ISBN: 9783540404552
IEA/AIE
Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We must then deal withinconsistencies and, in general, withanomalies of several types. In this paper we study computational and cognitiv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9dc89eb7071e61ee0a7058c183a28605
Autor:
José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, María-José Hidalgo, José A. Alonso-Jiménez
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
Logic Based Program Synthesis and Transformation ISBN: 9783540221746
LOPSTR
instname
Logic Based Program Synthesis and Transformation ISBN: 9783540221746
LOPSTR
We describe in this paper the formal verification, using the ACL2 system, of a syntactic unification algorithm where terms are represented as directed acyclic graphs (dags) and these graphs are stored in a single-threaded object (stobj). The use of s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f7d578bb3f153a5a2c559adcd7fcd31
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
Lecture Notes in Computer Science ISBN: 9783540425250
TPHOLs
instname
Lecture Notes in Computer Science ISBN: 9783540425250
TPHOLs
In this paper we present the formalization of a decision procedure for Propositional Logic based on polynomial normalization. This formalization is suitable for its automatic verification in an applicative logic like ACL2. This application of polynom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e9942f6e9f3dd7663196bb959b8de030
Publikováno v:
Scopus-Elsevier
Advances in Artificial Intelligence — IBERAMIA 2002 ISBN: 9783540001317
IBERAMIA
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
Advances in Artificial Intelligence — IBERAMIA 2002 ISBN: 9783540001317
IBERAMIA
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
The subsumption relation is crucial in the Machine Learning systems based on a clausal representation. In this paper we present a class of operators for Machine Learning based on clauses which is a characterization of the subsumption relation in the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2eedf20b55a1e1380b4f795d3216c808
http://www.scopus.com/inward/record.url?eid=2-s2.0-23044533567&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-23044533567&partnerID=MN8TOARS
Autor:
Joaquín Borrego-Díaz, Antonia M. Chávez-González, José A. Alonso-Jiménez, Miguel A. Gutiérrez-Naranjo, J.D. Navarro-Marin
Publikováno v:
Scopus-Elsevier
In environments with complex cognitive structure (such as semantic web or sophisticated spatial databases for geographical information systems), classical methods for detecting anomalies can be inadequate. In this paper the use of an automated theore
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a829421e0a7312c72211fc4e87405e76
http://www.scopus.com/inward/record.url?eid=2-s2.0-0036949060&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-0036949060&partnerID=MN8TOARS