Výsledky vyhledávání - Declarative programming paradigm

Symbolic Specialization of Rewriting Logic Theories with Presto Autor ALPUENTE, MARÍA, ESCOBAR, SANTIAGO, SAPIÑA, JULIA, BALLIS, DEMIS

“…This paper introduces $\tt{{Presto}}$ , a symbolic partial evaluator for Maude’s rewriting logic theories that can improve system analysis and verification. In…”
Získat plný text

Object-oriented constraint-based programming: a new paradigm using declarative data modeling languages Autor V. A. Semenov, D. V. Ilyin, S. V. Morozov, O. V. Sidyaka

“…Object-oriented constraint-based programming (OOCP) combines two orthogonal, but complementary programming paradigms, namely…”
Získat plný text

A multi-engine approach to answer-set programming Autor MARATEA, MARCO, PULINA, LUCA, RICCA, FRANCESCO

“…Answer-set programming (ASP) is a truly declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming, which has been recently employed in many applications…”
Získat plný text

IASCAR: Incremental Answer Set Counting by Anytime Refinement Autor FICHTE, JOHANNES K., GAGGL, SARAH ALICE, HECHER, MARKUS, RUSOVAC, DOMINIK

“…Answer set programming (ASP) is a popular declarative programming paradigm with various applications…”
Získat plný text

The third open answer set programming competition Autor CALIMERI, FRANCESCO, IANNI, GIOVAMBATTISTA, RICCA, FRANCESCO

“…Answer Set Programming (ASP) is a well-established paradigm of declarative programming in close relationship with other declarative formalisms such as SAT Modulo Theories, Constraint Handling Rules, FO…”
Získat plný text

Debugging Non-ground ASP Programs: Technique and Graphical Tools Autor DODARO, CARMINE, GASTEIGER, PHILIP, REALE, KRISTIAN, RICCA, FRANCESCO, SCHEKOTIHIN, KONSTANTIN

“…Answer set programming (ASP) is one of the major declarative programming paradigms in the area of logic programming and non-monotonic reasoning…”
Získat plný text

Clause Elimination for SAT and QSAT Autor Heule, Marijn, Järvisalo, Matti, Lonsing, Florian, Seidl, Martina, Biere, Armin

“…) have become central declarative programming paradigms through which real-world instances of various computationally hard problems can be efficiently solved…”
Získat plný text

Teaching and learning logic programming in virtual worlds using interactive microworld representations Autor Vosinakis, Spyros, Anastassakis, George, Koutsabasis, Panayiotis

“…Logic Programming (LP) follows the declarative programming paradigm, which novice students often find hard to grasp…”
Získat plný text

Beyond NP: Quantifying over Answer Sets Autor AMENDOLA, GIOVANNI, RICCA, FRANCESCO, TRUSZCZYNSKI, MIROSLAW

“…Answer Set Programming (ASP) is a logic programming paradigm featuring a purely declarative language with comparatively high modeling capabilities…”
Získat plný text

Direct Encoding of Declare Constraints in ASP Autor CHIARIELLO, FRANCESCO, FIONDA, VALERIA, IELO, ANTONIO, RICCA, FRANCESCO

“…Answer set programming (ASP), a well-known declarative logic programming paradigm, has recently found practical application in Process Mining…”
Získat plný text

Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs Autor LIERLER, YULIYA

“…Answer set programming is a prominent declarative programming paradigm used in formulating combinatorial search problems and implementing different knowledge representation formalisms…”
Získat plný text

RootInteractive tool for multidimensional statistical analysis, machine learning and analytical model validation Autor Ivanov, Marian, Eulisse, Giulio

“…The ALICE experiment [1] at CERN’s LHC is specifically designed for investigating heavy ion collisions. The upgraded ALICE accommodates a tenfold increase in…”
Získat plný text

Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog Autor Loke, Seng W.

“… be exploited. While much work in these areas have utilized the imperative programming paradigm, the need for declarative programming paradigms is increasingly being recognized, not only for the often cited…”
Získat plný text

Answer-set programming encodings for argumentation frameworks Autor Egly, Uwe, Gaggl, Sarah Alice, Woltran, Stefan

“…Answer-set programming (ASP) has emerged as a declarative programming paradigm where problems are encoded as logic programs, such that the so-called answer sets of theses programs represent the solutions of the encoded problem…”
Získat plný text

Disjunctive answer set solvers via templates Autor BROCHENIN, REMI, MARATEA, MARCO, LIERLER, YULIYA

“…Answer set programming is a declarative programming paradigm oriented towards difficult combinatorial search problems…”
Získat plný text

Cybersecurity policy verification with declarative programming Autor Hewett, Rattikorn, Kijsanayothin, Phongphun, Bak, Stephanie, Galbrei, Marry

“… Declarative programming paradigms such as “Answer Set” programming have been widely used to alleviate these issues by ways…”
Získat plný text

An Integrated Development Environment for Declarative Multi-Paradigm Programming Autor Hanus, Michael, Koj, Johannes

“…In this paper we present CIDER (Curry Integrated Development EnviRonment), an analysis and programming environment for the declarative multi-paradigm language Curry…”
Získat plný text

Complexity results for answer set programming with bounded predicate arities and implications Autor Eiter, Thomas, Faber, Wolfgang, Fink, Michael, Woltran, Stefan

“…Answer set programming is a declarative programming paradigm rooted in logic programming and non-monotonic reasoning…”
Získat plný text

Dual-normal logic programs – the forgotten class Autor FICHTE, JOHANNES K., TRUSZCZYŃSKI, MIROSŁAW, WOLTRAN, STEFAN

“…Disjunctive Answer Set Programming is a powerful declarative programming paradigm with complexity beyond NP…”
Získat plný text

Answer Sets and the Language of Answer Set Programming Autor Lifschitz, Vladimir

“…Answer set programming is a declarative programming paradigm based on the answer set semantics of logic programs…”
Získat plný text