Výsledky vyhľadávania - logic programming and answer (set OR siet) programming

Best-effort inductive logic programming via fine-grained cost-based hypothesis generation: The inspire system at the inductive logic programming competition Autor 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…”
Získať plný text

Design and results of the Fifth Answer Set Programming Competition Autor 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…”
Získať plný text

Linear-Time Temporal Answer Set Programming Autor 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…”
Získať plný text

Constraint Answer Set Programming without Grounding Autor 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…”
Získať plný text

Answering the “why” in answer set programming – A survey of explanation approaches Autor 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…”
Získať plný text

Reactive Answer Set Programming Autor 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…”
Získať plný text

Grounding and Solving in Answer Set Programming Autor 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…”
Získať plný text

Temporal Answer Set Programming on Finite Traces Autor 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…”
Získať plný text

Conflict-Driven Inductive Logic Programming Autor LAW, MARK

“…The goal of inductive logic programming (ILP) is to learn a program that explains a set of examples…”
Získať plný text

The Sixth Answer Set Programming Competition Autor 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…”
Získať plný text

ASP ($\mathcal A \mathcal C$): Answer Set Programming with Algebraic Constraints Autor 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…”
Získať plný text

The Answer Set Programming Paradigm Autor 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…”
Získať plný text

Finite-Choice Logic Programming Autor 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…”
Získať plný text

Forgetting in Answer Set Programming – A Survey Autor 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…”
Získať plný text

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

“… Answer set programming is a powerful formalism to represent complex combinatorial domains, also thanks to syntactic constructs such as aggregates…”
Získať plný text

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

“… which were introduced by Gelfond [13] over two decades ago. We consider general logic programs consisting of rules…”
Získať plný text

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

Získať plný text

Combining answer set programming with description logics for the Semantic Web Autor 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…”
Získať plný text

Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling Autor 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…”
Získať plný text

Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic Autor 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…”
Získať plný text