|
|
|
|
|
Pedro Cabalar, Jorge Fandinno, Torsten Schaub and Philipp Wanko
Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing t...
ver más
|
|
|
|
|
|
|
|
|
|
|
Christian Haubelt, Luise Müller, Kai Neubauer, Torsten Schaub and Philipp Wanko
We address the problem of evolutionary system design (ESD) by means of answer set programming modulo difference constraints (AMT). The goal of this design approach is to synthesize new product variants or generations from existing products. We start by f...
ver más
|
|
|
|
|
|
|
|
|
|
|
Marcello Balduccini, Michael Barborak and David Ferrucci
Incremental techniques aim at making it possible to improve the performance of the grounding and solving processes by reusing the results of previous executions. Clingo supports both incremental grounding and incremental solving computations. In order to...
ver más
|
|
|
|
|
|
|
|
|
|
|
Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca and Jessica Zangari
In the last few years, we have witnessed the spread of computing devices getting smaller and smaller (e.g., Smartphones, Smart Devices, Raspberry, etc.), and the production and availability of data getting bigger and bigger. This work presents DLV-EE, a ...
ver más
|
|
|
|
|
|
|
|
|
|
|
David Rajaratnam, Torsten Schaub, Philipp Wanko, Kai Chen, Sirui Liu and Tran Cao Son
A warehouse delivery problem consists of a set of robots that undertake delivery jobs within a warehouse. Items are moved around the warehouse in response to events. A solution to a warehouse delivery problem is a collision-free schedule of robot movemen...
ver más
|
|
|
|
|
|
|
|
|
|
|
Elena Mastria, Francesco Pacenza, Jessica Zangari, Francesco Calimeri, Simona Perri and Giorgio Terracina
Stream Reasoning (SR) focuses on developing advanced approaches for applying inference to dynamic data streams; it has become increasingly relevant in various application scenarios such as IoT, Smart Cities, Emergency Management, and Healthcare, despite ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Pedro Afonso Fernandes
Space syntax is a set of theories and techniques for analysing urban settlements and buildings. Here, we propose a new approach to perform syntactic analyses that requires only the declaration in a computer program of the connections between axial lines ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jorge Fandinno, David Pearce, Concepción Vidal and Stefan Woltran
Answer Set Programming (ASP) is a well established logical approach in artificial intelligence that is widely used for knowledge representation and problem solving. Equilibrium logic extends answer set semantics to more general classes of programs and th...
ver más
|
|
|
|
|
|
|
|
|
|
|
Andrei Gorchakov
Pág. 1 - 5
When developing parallel methods for solving many numerical methods for solving applied problems, in particular the branch-and-bound method, the problem of load balancing arises. The choice of implementation options at the moment has been proposed quite ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Nour Jnoub, Admir Brankovic and Wolfgang Klas
A rising number of people use online reviews to choose if they want to use or buy a service or product. Therefore, approaches for identifying fake reviews are in high request. This paper proposes a hybrid rule-based fact-checking framework based on Answe...
ver más
|
|
|
|
|
|