- -

Proving semantic properties as first-order satisfiability

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Proving semantic properties as first-order satisfiability

Mostrar el registro completo del ítem

Lucas Alba, S. (2019). Proving semantic properties as first-order satisfiability. Artificial Intelligence. 277:1-24. https://doi.org/10.1016/j.artint.2019.103174

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/139771

Ficheros en el ítem

Thumbnail
Nombre: Lucas - Proving ...
Tamaño: 709.3Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir/Preview
[Cerrado]
Nombre: Lucas_ProvingSema ...
Tamaño: 724.4Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor

Metadatos del ítem

Título: Proving semantic properties as first-order satisfiability
Autor: Lucas Alba, Salvador
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
[EN] The semantics of computational systems (e.g., relational and knowledge data bases, query-answering systems, programming languages, etc.) can often be expressed as (the specification of) a logical theory Th. Queries, ...[+]
Palabras clave: Automated reasoning , First-Order Logic , Logical models
Derechos de uso: Reserva de todos los derechos
Fuente:
Artificial Intelligence. (issn: 0004-3702 )
DOI: 10.1016/j.artint.2019.103174
Editorial:
Elsevier
Versión del editor: https://doi.org/10.1016/j.artint.2019.103174
Código del Proyecto:
info:eu-repo/grantAgreement/UPV//SP20180225/
info:eu-repo/grantAgreement/GVA//PROMETEO%2F2019%2F098/ES/DeepTrust: Deep Logic Technology for Software Trustworthiness/
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/RTI2018-094403-B-C32/ES/RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES/
Agradecimientos:
Partially supported by the EU (FEDER), and projects RTI2018-094403-B-C32, PROMETE0/2019/098, and SP20180225.
Tipo: Artículo

recommendations

 

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem