English
Related papers

Related papers: A Logic Programming Approach to Global Logistics i…

200 papers

The automated assembly of complex products requires a system that can automatically plan a physically feasible sequence of actions for assembling many parts together. In this paper, we present ASAP, a physics-based planning approach for…

The design and optimisation of aircraft wings are critical tasks in aerospace engineering, requiring a balance between structural integrity, aerostructural performance, and manufacturability. This multifaceted challenge involves the…

Computational Engineering, Finance, and Science · Computer Science 2024-11-06 Hauke Maathuis , Saullo G. P. Castro , Roeland De Breuker

Answer Set Programming (ASP) is a well-established formalism for logic programming. Problem solving in ASP requires to write an ASP program whose answers sets correspond to solutions. Albeit the non-existence of answer sets for some ASP…

Logic in Computer Science · Computer Science 2020-02-19 Giovanni Amendola , Carmine Dodaro , Francesco Ricca

Soft Constraint Logic Programming is a natural and flexible declarative programming formalism, which allows to model and solve real-life problems involving constraints of different types. In this paper, after providing a slightly more…

Artificial Intelligence · Computer Science 2012-12-11 Giacoma Valentina Monreale , Ugo Montanari , Nicklas Hoch

Airport gate assignment is of great importance in airport operations. In this paper, we study the Airport Gate Assignment Problem (AGAP), propose a new model and implement the model with Optimization Programming language (OPL). With the…

Artificial Intelligence · Computer Science 2008-11-12 Chendong Li

The field of Distributed Constraint Optimization Problems (DCOPs) has gained momentum, thanks to its suitability in capturing complex problems (e.g., multi-agent coordination and resource allocation problems) that are naturally distributed…

Multiagent Systems · Computer Science 2014-05-16 Tiep Le , Enrico Pontelli , Tran Cao Son , William Yeoh

Consolidation of loose packages into transport units is a fundamental activity offered by logistics service-providers. Moving the transport units instead of loose packages is faster (with one movement only, multiple packages are loaded…

Optimization and Control · Mathematics 2022-10-24 Enrico Angelelli , Claudia Archetti , Lorenzo Peirano

Dispatching and receiving logistics goods, as well as transportation itself, involve a high amount of manual efforts. The transported goods, including their packaging and labeling, need to be double-checked, verified or recognized at many…

Computer Vision and Pattern Recognition · Computer Science 2020-09-30 Laura Dörr , Felix Brandt , Martin Pouls , Alexander Naumann

We deal with a challenging scheduling problem on parallel machines with sequence-dependent setup times and release dates from a real-world application of semiconductor work-shop production. There, jobs can only be processed by dedicated…

Artificial Intelligence · Computer Science 2024-11-01 Thomas Eiter , Tobias Geibinger , Nysret Musliu , Johannes Oetsch , Peter Skocovsky , Daria Stepanova

Design optimisation offers the potential to develop lightweight aircraft structures with reduced environmental impact. Due to the high number of design variables and constraints, these challenges are typically addressed using gradient-based…

Computational Engineering, Finance, and Science · Computer Science 2025-08-04 Hauke F. Maathuis , Roeland De Breuker , Saullo G. P. Castro

Data science, and machine learning in particular, is rapidly transforming the scientific and industrial landscapes. The aerospace industry is poised to capitalize on big data and machine learning, which excels at solving the types of…

Design optimisation potentially leads to lightweight aircraft structures with lower environmental impact. Due to the high number of design variables and constraints, these problems are ordinarily solved using gradient-based optimisation…

Computational Engineering, Finance, and Science · Computer Science 2024-01-23 Hauke Maathuis , Roeland De Breuker , Saullo G. P. Castro

We tackle the problem of automatically designing concurrent data structure operations given a sequential data structure specification and knowledge about concurrent behavior. Designing concurrent code is a non-trivial task even in simplest…

Programming Languages · Computer Science 2021-09-27 Sarat Chandra Varanasi , Neeraj Mittal , Gopal Gupta

In cloud manufacturing, unmanned aerial vehicles (UAVs) can support both product collection and mobile edge computing (MEC). This joint operation forms a hybrid scheduling problem, where physical logistics decisions are coupled with…

Artificial Intelligence · Computer Science 2026-05-14 Hanwen Zhang , Dusit Niyato , Wei Zhang , Xin Lou , Malcolm Yoke Hean Low

This paper addresses risk assessment issues while conceiving complex systems. Indeed, project stakeholders have to share the same problems understanding allowing to undertake rational and optimal decisions. We propose an approach based on…

Computers and Society · Computer Science 2019-11-20 Ismet Addoui , Tarek Chouaki , Ambrogio Delli Colli

This paper presents an integrated framework that combines traditional network optimization models with large language models (LLMs) to deliver interactive, explainable, and role-aware decision support for supply chain planning. The proposed…

Artificial Intelligence · Computer Science 2025-09-01 Saravanan Venkatachalam

Recent advances in robot skill learning have unlocked the potential to construct task-agnostic skill libraries, facilitating the seamless sequencing of multiple simple manipulation primitives (aka. skills) to tackle significantly more…

Robotics · Computer Science 2024-07-18 Teng Xue , Amirreza Razmjoo , Suhan Shetty , Sylvain Calinon

The European Union's climate targets challenge the building sector to reduce energy use while ensuring comfort. Ventilation systems play an important role in achieving these goals. During system planning, the primary focus tends to lie on…

Systems and Control · Electrical Eng. & Systems 2024-12-02 Julius H. P. Breuer , Peter F. Pelz

Cross-lingual chain-of-thought can effectively complete reasoning tasks across languages, which gains increasing attention. Recently, dominant approaches in the literature improve cross-lingual alignment capabilities by integrating…

Computation and Language · Computer Science 2024-06-21 Yongheng Zhang , Qiguang Chen , Min Li , Wanxiang Che , Libo Qin

In Concurrent engineering, design solutions are not only produced by individuals specialized in a given field. Due to the team nature of the design activity, solutions are negotiated. Our objective is to analyse the argumentation processes…

Human-Computer Interaction · Computer Science 2016-08-14 Géraldine Martin , Françoise Détienne , Elisabeth Lavigne