Suchergebnisse - "Answer Set Programming (ASP)"

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

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

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

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

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

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

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

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

“… Furthermore Answer Set Programming (ASP) is an appropriate formalism to represent various problems issued from Artificial Intelligence and arising when available information is incomplete …”
Volltext

Stable model semantics for founded bounds von AZIZ, REHAN ABDUL, CHU, GEOFFREY, STUCKEY, PETER J.

“… Answer Set Programming (ASP) is a powerful form of declarative programming used in areas such as planning or reasoning …”
Volltext

A Preliminary Data-driven Analysis of Common Errors Encountered by Novice SPARC Programmers von Hansen, Zach, Du, Hanxiang, Xing, Wanli, Eckel, Rory, Lugo, Justin, Zhang, Yuanlin

Volltext

Partial Compilation of ASP Programs von CUTERI, BERNARDO, DODARO, CARMINE, RICCA, FRANCESCO, SCHÜLLER, PETER

“… Answer Set Programming (ASP) is a well-known declarative formalism in logic programming …”
Volltext

Taming primary key violations to query large inconsistent data via ASP von MANNA, MARCO, RICCA, FRANCESCO, TERRACINA, GIORGIO

“… The new strategy is naturally modeled and implemented using Answer Set Programming (ASP). An experiment run on benchmarks from the database world prove the effectiveness and efficiency of our ASP-based approach also on large data sets …”
Volltext

A Preliminary Data-driven Analysis of Common Errors Encountered by Novice SPARC Programmers von Hansen, Zach, Du, Hanxiang, Xing, Wanli, Eckel, Rory, Lugo, Justin, Zhang, Yuanlin

“… Answer Set Programming (ASP), a modern development of Logic Programming, enables a natural integration of Computing with STEM subjects …”
Volltext

Partial Compilation of ASP Programs von Cuteri, Bernardo, Dodaro, Carmine, Ricca, Francesco, Schüller, Peter

“… Answer Set Programming (ASP) is a well-known declarative formalism in logic programming …”
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

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

Norm awareness for virtual characters behaviour : a socio-cognitive approach von Lee, JeeHang

“… Social intelligence has a huge impact on the determination of human behaviour in the society. The use of norms can contribute to advances in this social …”
Volltext

Bringing answer set programming to the next level: A real case on modeling course timetabling von Aini, Irvi Firqotul, Saptawijaya, Ari, Aminah, Siti

“… The potential of Answer Set Programming (ASP), an extension of logic programming, t» declaratively model course timetabling problems has been exhibited in the international course timetabling competition …”
Volltext

Answer Set Solving exploiting Treewidth and its Limits von Hecher, Markus

“… programming on the tree decomposition. In our research, we want to exploit treewidth in the context of Answer Set Programming (ASP …”
Volltext

Taming Primary Key Violations to Query Large Inconsistent Data von Manna, Marco, Ricca, Francesco, Terracina, Giorgio

“… The new strategy is naturally modeled and implemented using Answer Set Programming (ASP). An experiment run on benchmarks from the database world prove the effectiveness and efficiency of our ASP-based approach also on large data sets. To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015 …”
Volltext