Search Results - "Answer set programming"

Benchmarking Answer Set Programming systems for resource allocation in business processes by Havur, Giray, Cabanillas, Cristina, Polleres, Axel

“…Declarative logic programming formalisms are well-suited to model various optimization and configuration problems. In particular, Answer Set Programming (ASP)…”
Get full text

Argumentative Reasoning in ASPIC+ under Incomplete Information by Odekerken, Daphne, Lehtonen, Tuomo, Wallner, Johannes P., Järvisalo, Matti

“…Reasoning under incomplete information is an important research direction in the study of computational argumentation. Most advances in this direction so far…”
Get full text

Clingo goes linear constraints over reals and integers by JANHUNEN, TOMI, KAMINSKI, ROLAND, OSTROWSKI, MAX, SCHELLHORN, SEBASTIAN, WANKO, PHILIPP, SCHAUB, TORSTEN

“…The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We…”
Get full text

Formalizing Visualization Design Knowledge as Constraints: Actionable and Extensible Models in Draco by Moritz, Dominik, Chenglong Wang, Nelson, Greg L., Lin, Halden, Smith, Adam M., Howe, Bill, Heer, Jeffrey

“…There exists a gap between visualization design guidelines and their application in visualization tools. While empirical studies can provide design guidance,…”
Get full text

ASP-Core-2 Input Language Format by CALIMERI, FRANCESCO, FABER, WOLFGANG, GEBSER, MARTIN, IANNI, GIOVAMBATTISTA, KAMINSKI, ROLAND, KRENNWALLNER, THOMAS, LEONE, NICOLA, MARATEA, MARCO, RICCA, FRANCESCO, SCHAUB, TORSTEN

“…Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the…”
Get full text

Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance by Marco Wilhelm, Lars-Phillip Spiegel, Gabriele Kern-Isberner

“…Answer set programming (ASP) is a declarative programming language suited to solve complex combinatorial search problems. Prioritized ASP is the subdiscipline…”
Get full text

A Neuro-Symbolic ASP Pipeline for Visual Question Answering by EITER, THOMAS, HIGUERA, NELSON, OETSCH, JOHANNES, PRITZ, MICHAEL

“…We present a neuro-symbolic visual question answering (VQA) pipeline for CLEVR, which is a well-known dataset that consists of pictures showing scenes with…”
Get full text

A general framework for preferences in answer set programming by Brewka, Gerhard, Delgrande, James, Romero, Javier, Schaub, Torsten

“…We introduce a general, flexible, and extensible framework for quantitative and qualitative preferences among the stable models of logic programs. Since it is…”
Get full text

Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming by Heyninck, Jesse, Arieli, Ofer, Bogaerts, Bart

“…Approximation fixpoint theory (AFT) is an abstract and general algebraic framework for studying the semantics of nonmonotonic logics. It provides a unifying…”
Get full text

Logic Programming for Orthogonal Graph Drawing on Restricted Grids by Strąk, Łukasz, Wieczorek, Wojciech, Nowakowski, Arkadiusz

“…This paper investigates the use of logic programming—specifically, Answer Set Programming (ASP)—as a declarative approach to orthogonal graph drawing on…”
Get full text

ASP and subset minimality: Enumeration, cautious reasoning and MUSes by Alviano, Mario, Dodaro, Carmine, Fiorentino, Salvatore, Previti, Alessandro, Ricca, Francesco

“…Answer Set Programming (ASP) is a well-known logic-based formalism that has been used to model and solve a variety of AI problems. For several years, ASP…”
Get full text

A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments by Gebser, Martin, Giunchiglia, Enrico, Maratea, Marco, Mochi, Marco

“…Stable models of logic programs have been studied and characterized in relation with other formalisms by many researchers. As already argued in previous…”
Get full text

Design and results of the Fifth Answer Set Programming Competition by Calimeri, Francesco, Gebser, Martin, Maratea, Marco, Ricca, Francesco

“…Answer Set Programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and…”
Get full text

A synthesis of automated planning and reinforcement learning for efficient, robust decision-making by Leonetti, Matteo, Iocchi, Luca, Stone, Peter

“…Automated planning and reinforcement learning are characterized by complementary views on decision making: the former relies on previous knowledge and…”
Get full text

Lifted inference for statistical statements in probabilistic answer set programming by Azzolini, Damiano, Riguzzi, Fabrizio

“…In 1990, Halpern proposed the distinction between Type 1 and Type 2 statements: the former express statistical information about a domain of interest while the…”
Get full text

Solution Enumeration by Optimality in Answer Set Programming by PAJUNEN, JUKKA, JANHUNEN, TOMI

“…Given a combinatorial search problem, it may be highly useful to enumerate its (all) solutions besides just finding one solution, or showing that none exists…”
Get full text

Clingcon: The next generation by BANBARA, MUTSUNORI, KAUFMANN, BENJAMIN, OSTROWSKI, MAX, SCHAUB, TORSTEN

“…We present the third generation of the constraint answer set system clingcon, combining Answer Set Programming (ASP) with finite domain constraint processing…”
Get full text

Semantics and complexity of recursive aggregates in answer set programming by Faber, Wolfgang, Pfeifer, Gerald, Leone, Nicola

“…The addition of aggregates has been one of the most relevant enhancements to the language of answer set programming (ASP). They strengthen the modelling power…”
Get full text

aspmc: New frontiers of algebraic answer set counting by Eiter, Thomas, Hecher, Markus, Kiesel, Rafael

“…In the last decade, there has been increasing interest in extensions of answer set programming (ASP) that cater for quantitative information such as weights or…”
Get full text

Integrated Use of System Z for Preferred Answer Set Programming by Wilhelm, Marco, Thevapalan, Andre, Kern-Isberner, Gabriele

“…Answer set programming (ASP) and conditional reasoning are powerful KR formalisms capable of expressing default statements that usually hold but also allow for…”
Get full text