Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Alonso Jiménez, José Antonio"'
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
En [2] introducimos una regla de inferencia para la lógica proposicional (basado en el uso de la derivación de polinomios) denominada regla de independencia, diseñada para el cálculo de retracciones conservativas, y que sirve para diseñar un pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7f8ac02eb66ce00b3a2643a1cf190aac
Autor:
Hidalgo Doblado, María José, Alonso Jiménez, José Antonio, Martín Mateos, Francisco Jesús, Ruiz Reina, José Luis
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. Recently, its importance has been increased since they are used as a basis for the Ontology Web Language (OWL) used for the Semantic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=RECOLECTA___::775b5c7d12ba7b53e6f03cc50372b520
Autor:
Alonso Jiménez, José Antonio, Borrego Díaz, Joaquín, Hidalgo Doblado, María José, Martín Mateos, Francisco Jesús, Ruiz Reina, José Luis
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
The Ontology Web Language (OWL) is a language used for the Semantic Web. OWL is based on Description Logics (DLs), a family of logical formalisms for representing and reasoning about conceptual and terminological knowledge. Among these, the logic ALC
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::36b7326cc78af26e48e2f2d9314dc955
Autor:
Alonso Jiménez, José Antonio, Borrego Díaz, Joaquín, Chávez González, Antonia María, Martín Mateos, Francisco Jesús
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
The application of automated reasoning systems to data cleaning in the Semantic Web raises many challenges on the foundational basis of cleaning agent design. The authors discuss some of them. They finally argue that logic trust in the Semantic Web c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::aea88f9f6fa58b119bf98bd571cc0e32
Autor:
Alonso Jiménez, José Antonio, Borrego Díaz, Joaquín, Hidalgo Doblado, María José, Martín Mateos, Francisco Jesús, Ruiz Reina, José Luis
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to represent and formally verify some algorithms of this theory. We also develop a method to transform specifications of algorithms bas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::75cbacde004e459da7fb1d79aaeff684
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 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. Ministerio de Ciencia y Tecnología TIC 2000
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::894f5bab52cd6f2a96927f4656567079
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
Este libro constituye el primer volumen de una serie sobre deducción automática. Su objetivo es la presentación de Prolog como un sistema de deducción automática y la construcción en Prolog de sistemas de deducción proposicional. En el primer
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::66a5fbbcaf1088c1dddc3fad92151208
Autor:
Martín Mateos, Francisco Jesús, Alonso Jiménez, José Antonio, Pérez Jiménez, Mario de Jesús, Sancho Caparrini, Fernando
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
In this paper we present an ACL2 formalization of a molecular computing model: Adleman’s restricted model [2]. This is a first step to formalize unconventional models of computation in ACL2. As an application of this model, an implementation of Lip
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b2d02f334a03efaddb89663fa116d231
https://idus.us.es/xmlui/handle/11441/44936
https://idus.us.es/xmlui/handle/11441/44936
Autor:
Ruiz Reina, José Luis, Alonso Jiménez, José Antonio, Hidalgo Doblado, María José, Martín Mateos, Francisco Jesús
Publikováno v:
idUS: Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
Universidad de Sevilla (US)
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
We describe the development in ACL2 of a library of results about first-order terms. In particular, we present the formalization of some of the main properties of the complete lattice of first-order terms with respect to the subsumption relation. As
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2a600cb601f6e556a62e8522210617e0
Autor:
Ruiz Reina, José Luis, Alonso Jiménez, José Antonio, Hidalgo Doblado, María José, Martín Mateos, Francisco Jesús
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
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 firstorder, quantifier-free logic of ACL2 and we sketch some of the main point
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=RECOLECTA___::a52a8a8c510b615163305d3cdb34acc3