Search Results - "Answer Set Programming"

Applications of Answer Set Programming by Erdem, Esra, Gelfond, Michael, Leone, Nicola

“…Answer set programming (ASP) has been applied fruitfully to a wide range of areas in AI and in other fields, both in academia and in industry, thanks…”
Get full text

Constraint Answer Set Programming without Grounding by ARIAS, JOAQUIN, CARRO, MANUEL, SALAZAR, ELMER, MARPLE, KYLE, GUPTA, GOPAL

“…Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in…”
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 non-monotonic reasoning…”
Get full text

The Answer Set Programming Paradigm by Janhunen, Tomi, Niemelä, Ilkka

“…In this article, we give an overview of the answer set programming paradigm, explain its strengths, and illustrate its main features in terms of examples…”
Get full text

The Sixth Answer Set Programming Competition by Gebser, Martin, Maratea, Marco, Ricca, Francesco

“…Answer Set Programming (ASP) is a well-known paradigm of declarative programming with roots in logic programming and non-monotonic reasoning…”
Get full text

ASP ($\mathcal A \mathcal C$): Answer Set Programming with Algebraic Constraints by EITER, THOMAS, KIESEL, RAFAEL

“… Using a novel combination of Weighted Logic and Here-and-There (HT) Logic, in which this dependence is based on intuitionistic grounds, we introduce Answer Set Programming with Algebraic Constraints (ASP($\mathcal A \mathcal C…”
Get full text

Answering the “why” in answer set programming – A survey of explanation approaches by FANDINNO, JORGE, SCHULZ, CLAUDIA

“… a “right to explanation” for decisions made by AI systems. One of the AI paradigms that may be affected by this new regulation is answer set programming (ASP…”
Get full text

Scalable Neural-Probabilistic Answer Set Programming by Skryagin, Arseny, Ochs, Daniel, Dhami, Devendra Singh, Kersting, Kristian

“…) and a logic program, united via answer set programming (ASP). NPPs are a novel design principle…”
Get full text

Reactive Answer Set Programming by BRODA, KRYSIA, SADRI, FARIBA, BUTLER, STEPHEN

“… The Answer Set Programming paradigm allows to capture additional behaviours to the basic reactivity of KELPS, in particular proactive, pre-emptive and prospective behaviours…”
Get full text

Grounding and Solving in Answer Set Programming by Kaufmann, Benjamin, Leone, Nicola, Perri, Simona, Schaub, Torsten

“…Answer set programming is a declarative problem‐solving paradigm that rests upon a work flow involving modeling, grounding, and solving…”
Get full text

Forgetting in Answer Set Programming – A Survey by GONÇALVES, RICARDO, KNORR, MATTHIAS, LEITE, JOÃO

“… In recent years, many different approaches for forgetting in Answer Set Programming have been proposed, in the form of specific operators, or classes of such operators, commonly following different…”
Get full text

Evaluating epistemic negation in answer set programming by Shen, Yi-Dong, Eiter, Thomas

“…Epistemic negation not along with default negation ¬ plays a key role in knowledge representation and nonmonotonic reasoning. However, the existing epistemic…”
Get full text

Explainable Answer-set Programming by Geibinger, Tobias

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…”
Get full text

Linear-Time Temporal Answer Set Programming by AGUADO, FELICIDAD, CABALAR, PEDRO, DIÉGUEZ, MARTÍN, PÉREZ, GILBERTO, SCHAUB, TORSTEN, SCHUHMANN, ANNA, VIDAL, CONCEPCIÓN

“…) that is defined for the full syntax of LTL but involves a model selection criterion based on Equilibrium Logic , a well known logical characterization of Answer Set Programming (ASP…”
Get full text

Adaptive large-neighbourhood search for optimisation in answer-set programming by Eiter, Thomas, Geibinger, Tobias, Higuera Ruiz, Nelson, Musliu, Nysret, Oetsch, Johannes, Pfliegler, Dave, Stepanova, Daria

“…Answer-set programming (ASP) is a prominent approach to declarative problem solving that is increasingly used to tackle challenging optimisation problems…”
Get full text

Model-based reasoning using answer set programming by Wotawa, Franz, Kaufmann, David

“… More recently logic reasoning like answer set programming has gained a lot of attention and practical use…”
Get full text

Temporal Answer Set Programming on Finite Traces by CABALAR, PEDRO, KAMINSKI, ROLAND, SCHAUB, TORSTEN, SCHUHMANN, ANNA

“…In this paper, we introduce an alternative approach to Temporal Answer Set Programming that relies on a variation of Temporal Equilibrium Logic (TEL) for finite traces…”
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

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