Results 31 to 40 of about 570,700 (231)

An Interactive Modelling Environment for Designing Warehouse Layouts Based on ASP

Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2023
In this paper, we apply answer set programming (ASP) to the task of planning warehouse layouts within the logistical domain. Warehouse layout planners have to take into account a vast number of aspects to come up with feasible layouts, especially the ...
Andre Thevapalan, Marco Wilhelm, Gabriele Kern-Isberner, Pascal Kaiser, Moritz Roidl   +4 more
doaj   +1 more source

The Answer Set Programming Competition [PDF]

AI Magazine, 2012
The Answer Set Programming (ASP) Competition is a biannual event for evaluating declarative knowledge representation systems on hard and demanding AI problems. The competition consists of two main tracks: the ASP system track and the model and solve track.
CALIMERI, Francesco, IANNI, Giovambattista, KRENNWALLNER T, RICCA, Francesco   +3 more
openaire   +3 more sources

Detecting Malware Activities With MalpMiner: A Dynamic Analysis Approach

IEEE Access, 2023
Day by day, malware as a service becomes more popular and easy to acquire, thus allowing anyone to start an attack without any technical background, which in turn introduces challenges for detecting such attacks.
Mustafa F. Abdelwahed, Mustafa M. Kamal, Samir G. Sayed   +2 more
doaj   +1 more source

Reasoning about Qualitative Direction and Distance between Extended Objects using Answer Set Programming [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
In this thesis, we introduce a novel formal framework to represent and reason about qualitative direction and distance relations between extended objects using Answer Set Programming (ASP).
Yusuf Izmirlioglu
doaj   +1 more source

communicating answer set programs [PDF]

, 2010
Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mecha- nisms for representing and reasoning with the combined answer set programs of multiple agents have already been proposed, the actual gain in expressivity when adding commu- nication has not ...
Bauters, Kim, Janssen, Jeroen, Schockaert, Steven, Vermeir, Dirk, De Cock, Martine   +4 more
openaire   +6 more sources

An Application of Declarative Languages in Distributed Architectures: ASP and DALI Microservices

International Journal of Interactive Multimedia and Artificial Intelligence, 2021
In this paper we introduce an approach to the possible adoption of Answer Set Programming (ASP) for the definition of microservices, which are a successful abstraction for designing distributed applications as suites of independently deployable ...
Stefania Costantini, Giovanni De Gasperis, Lorenzo De Lauretis   +2 more
doaj   +1 more source

ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications

Algorithms, 2023
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.
Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari   +7 more
doaj   +1 more source

Solving stable matching problems using answer set programming [PDF]

, 2015
Since the introduction of the stable marriage problem (SMP) by Gale and Shapley (1962), several variants and extensions have been investigated. While this variety is useful to widen the application potential, each variant requires a new algorithm for ...
De Clercq, Sofie, De Cock, Martine, Nowé, Ann, Schockaert, Steven   +3 more
core   +2 more sources

Normal forms for answer sets programming [PDF]

Theory and Practice of Logic Programming, 2005
Normal forms for logic programs under stable/answer set semantics are introduced. We argue that these forms can simplify the study of program properties, mainly consistency. The first normal form, called the kernel of the program, is useful for studying existence and number of answer sets.
COSTANTINI, STEFANIA, PROVETTI A.
openaire   +5 more sources

Possible and Necessary Answer Sets of Possibilistic Answer Set Programs [PDF]

2012 IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
Answer set programming (ASP) and possibility theory can be combined to form possibilistic answer set programming (PASP), a framework for non-monotonic reasoning under uncertainty. Existing proposals view answer sets of PASP programs as weighted epistemic states, in which the strength by which different literals are believed to hold may vary.
Bauters, Kim, Schockaert, Steven, De Cock, Martine, Vermeir, Dirk   +3 more
openaire   +5 more sources