Copertina

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Buoncompagni, Luca, Mastrogiovanni, Fulvio
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Logic in Computer Science Robotics Software Engineering 68T27 (Primary) 68T30, 68N19, 68T40 (Secondary) D.2.11; D.1.5; D.1.6; E.2; I.2.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Learning Symbolic Task Representation from a Human-Led Demonstration: A Memory to Store, Retrieve, Consolidate, and Forget Experiences
di: Buoncompagni, Luca, et al.
Pubblicazione: (2024)

Large Language Models in Software Documentation and Modeling: A Literature Review and Findings
di: Radosky, Lukas, et al.
Pubblicazione: (2026)

Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology
di: Buoncompagni, Luca, et al.
Pubblicazione: (2024)

SocialX: A Modular Platform for Multi-Source Big Data Research in Indonesia
di: Saputra, Muhammad Apriandito Arya, et al.
Pubblicazione: (2026)

Optimal matching for sharing and linearity analysis
di: Amato, Gianluca, et al.
Pubblicazione: (2024)

Supporting software engineering tasks with agentic AI: Demonstration on document retrieval and test scenario generation
di: Kica, Marian, et al.
Pubblicazione: (2026)

On systematic construction of correct logic programs
di: Drabent, Włodzimierz
Pubblicazione: (2025)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
di: Helbling, Caleb, et al.
Pubblicazione: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
di: Helbling, Caleb, et al.
Pubblicazione: (2025)

Generative AI and the Transformation of Software Development Practices
di: Acharya, Vivek
Pubblicazione: (2025)

AI for software engineering: from probable to provable
di: Meyer, Bertrand
Pubblicazione: (2025)

Multiple Query Satisfiability of Constrained Horn Clauses
di: De Angelis, Emanuele, et al.
Pubblicazione: (2022)

DRS-OSS: Practical Diff Risk Scoring with LLMs
di: Sayedsalehi, Ali, et al.
Pubblicazione: (2025)

Mind the Metrics: Patterns for Telemetry-Aware In-IDE AI Application Development using the Model Context Protocol (MCP)
di: Koc, Vincent, et al.
Pubblicazione: (2025)

Learning Program Behavioral Models from Synthesized Input-Output Pairs
di: Mammadov, Tural, et al.
Pubblicazione: (2024)

Feature-Factory: Automating Software Feature Integration Using Generative AI
di: Vsevolodovna, Ruslan Idelfonso Magana
Pubblicazione: (2024)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
di: Oza, Neeva, et al.
Pubblicazione: (2025)

LTL Verification of Memoryful Neural Agents
di: Hosseini, Mehran, et al.
Pubblicazione: (2025)

React-ing to Grace Hopper 200: Five Open-Weights Coding Models, One React Native App, One GH200, One Weekend
di: Potanin, Alex
Pubblicazione: (2026)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
di: Guo, Jinyao, et al.
Pubblicazione: (2025)

Chain-Oriented Objective Logic with Neural Network Feedback Control and Cascade Filtering for Dynamic Multi-DSL Regulation
di: Han, Jipeng
Pubblicazione: (2024)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
di: López, Hugo A., et al.
Pubblicazione: (2024)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
di: Lauer, Alexander, et al.
Pubblicazione: (2026)

Validation of an analyzability model for quantum software: a family of experiments
di: Díaz-Muñoz, Ana, et al.
Pubblicazione: (2026)

Case Studies and Reflections on Agentic Software Engineering for Rapid Development of Digital Music Instruments
di: Yee-King, Matthew John
Pubblicazione: (2026)

Flow State: Humans Enabling AI Systems to Program Themselves
di: Zhang, Helena, et al.
Pubblicazione: (2025)

Model Callers for Transforming Predictive and Generative AI Applications
di: Dalal, Mukesh
Pubblicazione: (2024)

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
di: Khan, Ishraq, et al.
Pubblicazione: (2025)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

SLEAN: Simple Lightweight Ensemble Analysis Network for Multi-Provider LLM Coordination: Design, Implementation, and Vibe Coding Bug Investigation Case Study
di: Vargas, Matheus J. T.
Pubblicazione: (2025)

Type Inference for Isabelle2Cpp
di: Jiang, Dongchen, et al.
Pubblicazione: (2024)

Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic Reasoning
di: Liu, Bowen, et al.
Pubblicazione: (2026)

Towards Conversational AI for Human-Machine Collaborative MLOps
di: Fatouros, George, et al.
Pubblicazione: (2025)

Formal Analysis and Supply Chain Security for Agentic AI Skills
di: Bhardwaj, Varun Pratap
Pubblicazione: (2026)

Array-Carrying Symbolic Execution for Function Contract Generation
di: Lu, Weijie, et al.
Pubblicazione: (2026)

Contract-based Verification of Digital Twins
di: Naeem, Muhammad, et al.
Pubblicazione: (2025)

AdvFusion: Adapter-based Knowledge Transfer for Code Summarization on Code Language Models
di: Saberi, Iman, et al.
Pubblicazione: (2023)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
di: Lin, Hongyu, et al.
Pubblicazione: (2026)

Optimizing Large Language Models for OpenAPI Code Completion
di: Petryshyn, Bohdan, et al.
Pubblicazione: (2024)

On measuring grounding and generalizing grounding problems
di: Quigley, Daniel, et al.
Pubblicazione: (2025)