Search Results - (logic OR login) programming and answer set programming

Best-effort inductive logic programming via fine-grained cost-based hypothesis generation: The inspire system at the inductive logic programming competition by Schüller, Peter, Benz, Mishal

“…). Inspire is based on answer set programming (ASP). The distinguishing feature of Inspire is an ASP encoding for hypothesis space generation…”
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

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

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

“…), a goal-directed, top-down execution model which implements ASP while retaining logical variables both during execution and in the answer sets…”
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

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

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

Conflict-Driven Inductive Logic Programming by LAW, MARK

“…The goal of inductive logic programming (ILP) is to learn a program that explains a set 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

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

Finite-Choice Logic Programming by Martens, Chris, Simmons, Robert J., Arntzenius, Michael

“…—there is no single canonical model. The notion of stable models for logic programs with negation has successfully captured programmer intuition about the set of valid solutions for such problems, giving rise to a family of programming…”
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

Learning answer set programs with aggregates via sampling and genetic programming by Azzolini, Damiano

“… Answer set programming is a powerful formalism to represent complex combinatorial domains, also thanks to syntactic constructs such as aggregates…”
Get full text

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

“… which were introduced by Gelfond [13] over two decades ago. We consider general logic programs consisting of rules…”
Get full text

Proceedings 40th International Conference on Logic Programming: Declarative AI design in Unity using Answer Set Programming (Extended Abstract) by Angilica, Denise, Ianni, Giovambattista, Pacenza, Francesco, Zangari, Jessica

Get full text

Combining answer set programming with description logics for the Semantic Web by Eiter, Thomas, Ianni, Giovambattista, Lukasiewicz, Thomas, Schindlauer, Roman, Tompits, Hans

“…We propose a combination of logic programming under the answer set semantics with the description logics SHIF ( D ) and SHOIN ( D…”
Get full text

Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling by CAPPANERA, PAOLA, GAVANELLI, MARCO, NONATO, MADDALENA, ROMA, MARCO

“…In answer set programming (ASP), the user can define declaratively a problem and solve it with efficient solvers…”
Get full text

Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic by FANDINNO, JORGE, FARIÑAS DEL CERRO, LUIS

“…In this work, we show that both logic programming and abstract argumentation frameworks can be interpreted in terms…”
Get full text