Suchergebnisse - "answer-set programming"

Dominating Set Reconfiguration with Answer Set Programming von KATO, MASATO, BANBARA, MUTSUNORI, SCHAUB, TORSTEN, SOH, TAKEHIDE, TAMURA, NAOYUKI

“… We develop an approach to solve the dominating set reconfiguration problem based on answer set programming (ASP …”
Volltext

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling von EITER, THOMAS, GEIBINGER, TOBIAS, MUSLIU, NYSRET, OETSCH, JOHANNES, SKOČOVSKÝ, PETER, STEPANOVA, DARIA

“… We deal with a challenging scheduling problem on parallel machines with sequence-dependent setup times and release dates from a real-world application of …”
Volltext

Multi-Shot Answer Set Programming for Flexible Payroll Management von CALLEWAERT, BENJAMIN, VENNEKENS, JOOST

“… In this paper, we suggest an approach based on a flexible answer set programming (ASP) model and an easy-to-read tabular representation based on the decision model and notation standard …”
Volltext

A multiparametric view on answer set programming von Fichte, Johannes K., Kronegger, Martin, Woltran, Stefan

“… Disjunctive answer set programming (ASP) is an important framework for declarative modeling and problem solving, where the computational complexity of basic decision problems like consistency …”
Volltext

Train routing in shunting yards using Answer Set Programming von Adlbrecht, Jan-Alexander, Hüttler, Benno, Ilo, Nikola, Gronalt, Manfred

“… •Formulation of a complex routing problem using Answer Set Programming (ASP).•First ever application of ASP to the train routing problem at shunting yards …”
Volltext

Applications of non-monotonic reasoning to automotive product configuration using answer set programming von Gençay, Eray, Schüller, Peter, Erdem, Esra

“… In this work, non-monotonic computational logic, answer set programming in particular, is applied to industrial-scale automotive product configuration problems …”
Volltext

Answer Set Programming et interrogation von GARREAU, Fabien, GARCIA, Laurent, LEFÈVRE, Claire, STÉPHAN, Igor

“… exception, les formalismes habituels ne sont plus adaptés et nous proposons ici d’utiliser l’Answer Set Programming …”
Volltext

Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming von BOGATARKAN, AYSU, ERDEM, ESRA

“… , an autonomous warehouse) such that no two agents collide with each other, and subject to some constraints on the lengths of paths …”
Volltext

Answer set programming as a modeling language for course timetabling von BANBARA, MUTSUNORI, SOH, TAKEHIDE, TAMURA, NAOYUKI, INOUE, KATSUMI, SCHAUB, TORSTEN

“… The course timetabling problem can be generally defined as the task of assigning a number of lectures to a limited set of timeslots and rooms, subject to a given set of hard and soft constraints …”
Volltext

Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin von Baget, Jean-François, Garcia, Laurent, Garreau, Fabien, Lefèvre, Claire, Rocher, Swan, Stéphan, Igor

“… This article deals with the combination of ontologies and rules by means of existential rules and answer set programming …”
Volltext

Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming von Fitime, Louis Fippo, Roux, Olivier, Guziolowski, Carito, Paulevé, Loïc

“… These models describe the temporal evolution of the state of the network subject to different competing transitions, potentially leading the system to different attractors …”
Volltext

A hybrid inductive learning-based and deductive reasoning-based 3-D path planning method in complex environments von Segato, Alice, Calimeri, Francesco, Testa, Irene, Corbetta, Valentina, Riva, Marco, De Momi, Elena

“… path’s computation in complex environments. Nonetheless, environment exploration is subject to rules which can be obtained by domain experts and could be used for improving the search …”
Volltext

Answer Set Programming Modulo Theories von Bartholomew, Michael

“… Answer Set Programming is a widely-used knowledge representation framework that is well-suited for such reasoning tasks and has been successfully applied to practical domains due to efficient …”
Volltext

Digital forensics and investigations meet artificial intelligence von Costantini, Stefania, De Gasperis, Giovanni, Olivieri, Raffaele

“… – and in particular the Answer Set Programming (ASP) approach — to the automation of evidence analysis …”
Volltext

Dominating Set Reconfiguration with Answer Set Programming von Kato, Masato, Schaub, Torsten, Soh, Takehide, Tamura, Naoyuki, Banbara, Mutsunori

“… We develop an approach to solve the dominating set reconfiguration problem based on Answer Set Programming (ASP …”
Volltext

Upward refinement operators for conceptual blending in the description logic von Confalonieri, Roberto, Eppe, Manfred, Schorlemmer, Marco, Kutz, Oliver, Peñaloza, Rafael, Plaza, Enric

“… Conceptual blending is a mental process that serves a variety of cognitive purposes, including human creativity. In this line of thinking, human creativity is …”
Volltext

Answer Set Programming for Flexible Payroll Management von Callewaert, Benjamin, Vennekens, Joost

“… In this paper, we suggest an approach based on a flexible Answer Set Programming (ASP) model and an easy-to-read tabular representation based on the Decision Model and Notation (DMN) standard …”
Volltext

Revising event calculus theories to recover from unexpected observations von Tsampanaki, Nikoleta, Patkos, Theodore, Flouris, Giorgos, Plexousakis, Dimitris

“… Recent extensions of the Event Calculus resulted in powerful formalisms, able to reason about a multitude of commonsense phenomena in causal domains, involving …”
Volltext

P-log: refinement and a new coherency condition von Balai, Evgenii, Gelfond, Michael, Zhang, Yuanlin

“… This paper focuses on the investigation and improvement of knowledge representation language P-log that allows for both logical and probabilistic reasoning. We …”
Volltext

Data repair of inconsistent nonmonotonic description logic programs von Eiter, Thomas, Fink, Michael, Stepanova, Daria

“… Combining Description Logic (DL) ontologies and nonmonotonic rules has gained increasing attention in the past decade, due to the growing range of applications …”
Volltext