:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Pareti, Paolo
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence
Acceso en línea:	https://arxiv.org/abs/2406.08018
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

SHACL Validation under Graph Updates (Extended Paper)
por: Ahmetaj, Shqiponja, et al.
Publicado: (2025)

TIO-SHACL: Comprehensive SHACL validation for TMF Intent Ontologies
por: Martins, Jean, et al.
Publicado: (2026)

Intensional FOL: Many-Sorted Extension
por: Majkic, Zoran
Publicado: (2024)

Static Analysis of Recursive SHACL
por: Oudshoorn, Anouk, et al.
Publicado: (2026)

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
por: Oudshoorn, Anouk, et al.
Publicado: (2025)

Common Foundations for SHACL, ShEx, and PG-Schema
por: Ahmetaj, S., et al.
Publicado: (2025)

FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale
por: Lee, Isabelle, et al.
Publicado: (2025)

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
por: Viswanadha, Koushik, et al.
Publicado: (2025)

Automated Validation of Textual Constraints Against AutomationML via LLMs and SHACL
por: Westermann, Tom, et al.
Publicado: (2025)

SHACL-DS
por: CHIEM DAO, Davan
Publicado: (2025)

SHACL-SKOS Based Knowledge Representation of Material Safety Data Sheet (SDS) for the Pharmaceutical Industry
por: Lu, Brian, et al.
Publicado: (2025)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
por: Seifer, Philipp, et al.
Publicado: (2024)

SCL(FOL) Revisited
por: Bromberger, Martin, et al.
Publicado: (2023)

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
por: Brunello, Andrea, et al.
Publicado: (2025)

xpSHACL: Explainable SHACL Validation using Retrieval-Augmented Generation and Large Language Models
por: Publio, Gustavo Correa, et al.
Publicado: (2025)

Is SHACL Suitable for Data Quality Assessment?
por: Cortés, Carolina, et al.
Publicado: (2025)

ODRL Policy Comparison Through Normalisation
por: Salas, Jaime Osvaldo, et al.
Publicado: (2026)

Efficiently grounding FOL using bit vectors
por: Van Laer, Lucas, et al.
Publicado: (2024)

Assessing the Sensitivity and Alignment of FOL Closeness Metrics
por: Thatikonda, Ramya Keerthy, et al.
Publicado: (2025)

Consistent Query Answering over SHACL Constraints
por: Ahmetaj, Shqiponja, et al.
Publicado: (2024)

A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration
por: Moore, Hayden, et al.
Publicado: (2026)

Intensional FOL over Belnap's Billatice for Strong-AI Robotics
por: Majkic, Zoran
Publicado: (2025)

RDFGraphGen: An RDF Graph Generator based on SHACL Shapes
por: Jovanovik, Milos, et al.
Publicado: (2024)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
por: Bogaerts, Bart, et al.
Publicado: (2022)

Linear Reasoning vs. Proof by Cases: Obstacles for Large Language Models in FOL Problem Solving
por: Ji, Yuliang, et al.
Publicado: (2026)

FOL2NS: Generating Natural Sentences from First-Order Logic
por: Jia, Mei
Publicado: (2026)

From RDF Graph Validation to RDF Dataset Validation with SHACL-DS
por: Dao, Davan Chiem, et al.
Publicado: (2025)

Evaluation and Comparison Semantics for ODRL
por: Salas, Jaime Osvaldo, et al.
Publicado: (2025)

A SHACL-based Data Consistency Solution for Contract Compliance Verification (Extended Paper)
por: David, Robert, et al.
Publicado: (2025)

JSPLIT: A Taxonomy-based Solution for Prompt Bloating in Model Context Protocol
por: Antonioni, Emanuele, et al.
Publicado: (2025)

Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification
por: Thatikonda, Ramya Keerthy, et al.
Publicado: (2024)

HERITRACE: a domain-agnostic framework for SHACL-driven RDF curation with provenance and change tracking
por: Massari, Arcangelo, et al.
Publicado: (2026)

Temporal Fairness in Decision Making Problems
por: Torres, Manuel R., et al.
Publicado: (2024)

A Toolkit for Compliance, a Toolkit for Justice: Drawing on Cross-sectoral Expertise to Develop a Pro-justice EU AI Act Toolkit
por: Hollanek, Tomasz, et al.
Publicado: (2025)

LA VISIÓN DEL PROFESORADO DE GALICIA SOBRE LA FUNCIÓN ORIENTADORA DEL MÓDULO DE FOL
por: Ma Del Mar Sanjuán Roca
Publicado: (2011)

TOMATO-Fusarium oxysporum INTERACTIONS: II-CHITOSAN AND MSB INDUCED RESISTANCE AGAINST FOL IN YOUNG TOMATO PLANTS
por: Dalila Paz-Lago
Publicado: (2000)

Behaviour Planning: A Toolkit for Diverse Planning
por: Abdelwahed, Mustafa F, et al.
Publicado: (2024)

Keeping track of errors: A study of SHACL-DS for RDF dataset validation on the ERA RINF Knowledge Graph
por: Dao, Davan Chiem, et al.
Publicado: (2026)

The Shutdown Problem: An AI Engineering Puzzle for Decision Theorists
por: Thornley, Elliott
Publicado: (2024)

World2Mind: Cognition Toolkit for Allocentric Spatial Reasoning in Foundation Models
por: Ruan, Shouwei, et al.
Publicado: (2026)