:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Fernández-Alburquerque, Alejandro, Segovia-Aguas, Javier
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence I.2.8; D.1.3
Online Access:	https://arxiv.org/abs/2407.21485
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

N2N: A Parallel Framework for Large-Scale MILP under Distributed Memory
by: Wang, Longfei, et al.
Published: (2025)

Exact Synthetic Populations for Scalable Societal and Market Modeling
by: Petit, Thierry, et al.
Published: (2025)

BPMN to PDDL: Translating Business Workflows for AI Planning
by: Nie, Jasper, et al.
Published: (2025)

Illuminating Patterns of Divergence: DataDios SmartDiff for Large-Scale Data Difference Analysis
by: Poduri, Aryan, et al.
Published: (2025)

Local Stability and Region of Attraction Analysis for Neural Network Feedback Systems under Positivity Constraints
by: Hedesh, Hamidreza Montazeri, et al.
Published: (2025)

Robust Stability Analysis of Positive Lure System with Neural Network Feedback
by: Hedesh, Hamidreza Montazeri, et al.
Published: (2025)

Delay Independent Safe Control with Neural Networks: Positive Lur'e Certificates for Risk Aware Autonomy
by: Hedesh, Hamidreza Montazeri, et al.
Published: (2025)

Strategic Reflectivism In Intelligent Systems
by: Byrd, Nick
Published: (2025)

NeSIG: A Neuro-Symbolic Method for Learning to Generate Planning Problems
by: Núñez-Molina, Carlos, et al.
Published: (2023)

Test Case Features as Hyper-heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2024)

Foundational Requirements for Artificial General Intelligence: A Falsifiable Framework Based on Signal Prediction
by: Šprogar, Matej
Published: (2025)

The Single-File Test: A Longitudinal Public-Interface Evaluation of First-Output LLM Web Generation with Social Reach Tracking
by: Palacios, Diego Cabezas
Published: (2026)

Mining Citywide Dengue Spread Patterns in Singapore Through Hotspot Dynamics from Open Web Data
by: Huang, Liping, et al.
Published: (2026)

Contract2Plan: Verified Contract-Grounded Retrieval-Augmented Optimization for BOM-Aware Procurement and Multi-Echelon Inventory Planning
by: Agarwal, Sahil
Published: (2026)

Quantum Abduction: A New Paradigm for Reasoning under Uncertainty
by: Pareschi, Remo
Published: (2025)

Structured Prompting and Feedback-Guided Reasoning with LLMs for Data Interpretation
by: Rath, Amit
Published: (2025)

Learning to Select Goals in Automated Planning with Deep-Q Learning
by: Núñez-Molina, Carlos, et al.
Published: (2024)

Instruction and Solution Probabilities as Heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2025)

Optimizing edge AI models on HPC systems with the edge in the loop
by: Aach, Marcel, et al.
Published: (2025)

Lifted Forward Planning in Relational Factored Markov Decision Processes with Concurrent Actions
by: Marwitz, Florian Andreas, et al.
Published: (2025)

TML-Bench: Benchmark for Data Science Agents on Tabular ML Tasks
by: Pinchuk, Mykola
Published: (2026)

Prompt Engineering Strategies for LLM-based Qualitative Coding of Psychological Safety in Software Engineering Communities: A Controlled Empirical Study
by: Alshaikh, Moaath, et al.
Published: (2026)

ConfProBench: A Confidence Evaluation Benchmark for MLLM-Based Process Judges
by: Zhou, Yue, et al.
Published: (2025)

Can Semantic Methods Enhance Team Sports Tactics? A Methodology for Football with Broader Applications
by: Di Rubbo, Alessio, et al.
Published: (2026)

AutoBench: Automating LLM Evaluation through Reciprocal Peer Assessment
by: Loi, Dario, et al.
Published: (2025)

Meta-Reinforcement Learning with Discrete World Models for Adaptive Load Balancing
by: Redovian, Cameron
Published: (2025)

Relevance Score: A Landmark-Like Heuristic for Planning
by: Kim, Oliver, et al.
Published: (2024)

Bridging the Reasoning Gap: Small LLMs Can Plan with Generalised Strategies
by: Borro, Andrey, et al.
Published: (2025)

Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications
by: Saccon, Enrico, et al.
Published: (2025)

Spiking Neural Network Architecture Search: A Survey
by: Svoboda, Kama, et al.
Published: (2025)

Petri Net Relaxation for Infeasibility Explanation and Sequential Task Planning
by: Le, Nguyen Cong Nhat, et al.
Published: (2026)

HTN Plan Repair Algorithms Compared: Strengths and Weaknesses of Different Methods
by: Zaidins, Paul, et al.
Published: (2025)

Toward Constraint Compliant Goal Formulation and Planning
by: Jones, Steven J., et al.
Published: (2024)

A Parallel Hybrid Action Space Reinforcement Learning Model for Real-world Adaptive Traffic Signal Control
by: Wang, Yuxuan, et al.
Published: (2025)

Scattered Forest Search: Smarter Code Space Exploration with LLMs
by: Light, Jonathan, et al.
Published: (2024)

ToolForge: A Data Synthesis Pipeline for Multi-Hop Search without Real-World APIs
by: Chen, Hao, et al.
Published: (2025)

Sketch Decompositions for Classical Planning via Deep Reinforcement Learning
by: Aichmüller, Michael, et al.
Published: (2024)

Comprehensive Taxonomies of Nature- and Bio-inspired Optimization: Inspiration versus Algorithmic Behavior, Critical Analysis and Recommendations (from 2020 to 2024)
by: Molina, Daniel, et al.
Published: (2020)

PYTHALAB-MERA: Validation-Grounded Memory, Retrieval, and Acceptance Control for Frozen-LLM Coding Agents
by: Iscan, Mehmet
Published: (2026)

Open-TI: Open Traffic Intelligence with Augmented Language Model
by: Da, Longchao, et al.
Published: (2023)