Search Results - Declarative programming paradigm

Symbolic Specialization of Rewriting Logic Theories with Presto by 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…”
Get full text

Object-oriented constraint-based programming: a new paradigm using declarative data modeling languages by 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…”
Get full text

A multi-engine approach to answer-set programming by 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…”
Get full text

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

“…Answer set programming (ASP) is a popular declarative programming paradigm with various applications…”
Get full text

The third open answer set programming competition by 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…”
Get full text

Debugging Non-ground ASP Programs: Technique and Graphical Tools by 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…”
Get full text

Clause Elimination for SAT and QSAT by 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…”
Get full text

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

“…Logic Programming (LP) follows the declarative programming paradigm, which novice students often find hard to grasp…”
Get full text

Beyond NP: Quantifying over Answer Sets by 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…”
Get full text

Direct Encoding of Declare Constraints in ASP by 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…”
Get full text

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

“…Answer set programming is a prominent declarative programming paradigm used in formulating combinatorial search problems and implementing different knowledge representation formalisms…”
Get full text

RootInteractive tool for multidimensional statistical analysis, machine learning and analytical model validation by 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…”
Get full text

Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog by 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…”
Get full text

Answer-set programming encodings for argumentation frameworks by 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…”
Get full text

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

“…Answer set programming is a declarative programming paradigm oriented towards difficult combinatorial search problems…”
Get full text

Cybersecurity policy verification with declarative programming by 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…”
Get full text

An Integrated Development Environment for Declarative Multi-Paradigm Programming by 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…”
Get full text

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

“…Answer set programming is a declarative programming paradigm rooted in logic programming and non-monotonic reasoning…”
Get full text

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

“…Disjunctive Answer Set Programming is a powerful declarative programming paradigm with complexity beyond NP…”
Get full text

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

“…Answer set programming is a declarative programming paradigm based on the answer set semantics of logic programs…”
Get full text