Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Hidalgo Doblado, María José"'
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, 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
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
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 explore in this paper the use of efficient data structures to implement operations on first-order terms, that can be formally verified. Specifically, we present the status of our work on defining and verifying a unification algorithm acting on ter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3998bed911eb5c495c23f0bd2cbaec16
Autor:
Martín Mateos, Francisco Jesús, Alonso Jiménez, José Antonio, Hidalgo Doblado, María José, Ruiz Reina, José Luis
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)
In some cases, when we develop a formal theory in ACL2, it would be desirable that the definitions and theorems of the theory be as independent of a concrete implementation as possible. This is particularly interesting when we design theories about b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4c4e5af8882c377b235ca0ea855bad52
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
Ministerio de Educación y Ciencia PB96-0098-C04-04 Ministerio de Educación y Ciencia PB96-1345
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4879efbf5a0f14dc26a8d75136a53faa
Autor:
Jiménez Núñez, Marina
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
The main objective of this paper is to present the answer set programming paradigm as a tool to model and solve combinatorial problems, in general, and especially NP-complete or NP-hard problems. First, in chapters 1 and 2, we are going to focus on c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::66762fc464fb8c7c09b24177298b0d24
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
Computational Logic is a wide interdisciplinary field having its theoretical and practical roots in mathematics, computer science, logic, and artificial intelligence. Computational Logic try to produce efficient and powerful algorithms for deciding t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::72c21ec6a1dc3c299df07265538b4805