Texto completo
![[thumbnail of HERME_2023_03.pdf]](https://oa.upm.es/style/images/fileicons/application_pdf.png) |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (463kB) |
Demonstrating (Hybrid) active logic documents and the ciao prolog playground, and an application to verification tutorials
Cita
Ferreiro de Aguiar, Daniela 
ORCID: https://orcid.org/0009-0002-1072-8989, Morales Caballero, José Francisco ORCID: https://orcid.org/0000-0001-9782-8135, Abreu, Salvador ORCID: https://orcid.org/0000-0002-1613-4631 and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X
(2023).
Demonstrating (Hybrid) active logic documents and the ciao prolog playground, and an application to verification tutorials.
En: "39th International Conference on Logic Programming", 9-15 Julio 2023, Londres, Reino Unido. pp. 324-329.
https://doi.org/10.4204/EPTCS.385.33.
ORCID: https://orcid.org/0009-0002-1072-8989, Morales Caballero, José Francisco ORCID: https://orcid.org/0000-0001-9782-8135, Abreu, Salvador ORCID: https://orcid.org/0000-0002-1613-4631 and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X
(2023).
Demonstrating (Hybrid) active logic documents and the ciao prolog playground, and an application to verification tutorials.
En: "39th International Conference on Logic Programming", 9-15 Julio 2023, Londres, Reino Unido. pp. 324-329.
https://doi.org/10.4204/EPTCS.385.33.
Descripción
| Título: | Demonstrating (Hybrid) active logic documents and the ciao prolog playground, and an application to verification tutorials |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | 39th International Conference on Logic Programming |
| Fechas del Evento: | 9-15 Julio 2023 |
| Lugar del Evento: | Londres, Reino Unido |
| Título del Libro: | Proceedings of the 39th International Conference on Logic Programming: Imperial College London, UK, 9th July 2023 - 15th July 2023 |
| Fecha: | 12 Septiembre 2023 |
| Volumen: | 385 |
| Materias: | |
| ODS: | |
| Escuela: | E.T.S. de Ingenieros Informáticos (UPM) |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
We propose a demonstration of the Active Logic Documents (ALDs) approach and the Ciao Playground, as well as a recent extension to ALDs to facilitate the integration of other tools into the system for creating Hybrid Active Logic Documents (HALD), and a concrete application of these technologies.
Proyectos asociados
Tipo
Código
Acrónimo
Responsable
Título
Gobierno de España
PID2019-108528RBC21
Sin especificar
Sin especificar
ProCode
Gobierno de España
TED2021-132464B-I00
Sin especificar
Sin especificar
Prodigy Project
Más información
| ID de Registro: | 93423 |
|---|---|
| Identificador DC: | https://oa.upm.es/93423/ |
| Identificador OAI: | oai:oa.upm.es:93423 |
| URL Portal Científico: | https://portalcientifico.upm.es/es/ipublic/item/10345118 |
| Identificador DOI: | 10.4204/EPTCS.385.33 |
| URL Oficial: | https://arxiv.org/abs/2308.15896 |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 27 Ene 2026 15:14 |
| Ultima Modificación: | 29 Ene 2026 10:58 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
