Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 12 of 12 for “"Declarative Programming"”.
-
Advancing declarative programming
… two large and often culturally disjoint programming paradigms: declarative (focusing on specifying what a program is supposed to do, e.g., shuffle an array so that its elements are ordered) and imperative (detailing how the program intention is to be implemented, e.g., by applying the …
-
Possible worlds explorer: Combining declarative programming with user-friendly Jupyter Notebooks
"Datalog and Answer Set Programming (ASP) are powerful languages for rule-based database querying and constraint solving, respectively. Similarly, Python is a popular and powerful procedural programming language with applications in many domains including data science. I have developed a problem …
-
Evaluating exact and approximate algorithms for integer linear programming formulations of MAP inference
… the learning of conditional models with declarative constraints. The MAP inference problem in CCM framework can be solved by formulating an Integer Linear Programming problem. This ILP formulation is generally relaxed to an Linear Programming problem by dropping the integrality …
-
Refining the semantics for epistemic logic programs
… a rational agent. Epistemic Specifications is a declarative programming language that is an extension of answer set programming (ASP) through the addition of modal operators K and M. Programs written in this language are called epistemic logic programs. Previously proposed semantics did not …
-
Supporting Effective Reuse and Safe Evolution in Metadata-Driven Software Development
… software development is a special case of declarative programming: metadata serves as a domain-specific language that the programmer uses to declare various concerns, whose implementation is provided by an elaborate ecosystem of libraries and frameworks that serve as pre-defined application …
-
Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica
… ABSTRACT The non purely academic interest for declarative (that is, functional and logical) programming languages has greatly increased since VLSI technology has opened the realistic possibility to built parallel machines capable to execute declarative programs efficiently. Current progress in …
-
Proof theory and algorithms for answer set programming
Answer Set Programming (ASP) is an emerging paradigm for declarative programming, in which a computational problem is specified by a logic program such that particular models, called answer sets, match solutions. ASP faces a growing range of applications, demanding for high-performance tools able …
-
DASPPS: Distributed Answer-set Programming with PS+
No abstract prepared.
-
An Extensible Framework for Annotation-based Parameter Passing in Distributed Object Systems
… modern distributed object systems do not offer programming facilities to extend their remote parameter passing semantics. Thus, extending these semantics requires understanding and modifying the underlying middleware implementation. This thesis addresses these design shortcomings by presenting …
-
Declarative Design for Spatial Analysis Models
… particularly proficiency in general-purpose programming languages (GPLs), remains a significant barrier to broader adoption. Domain-Specific Languages (DSLs) have proven to lower this barrier by offering tailored abstractions that simplify problem-solving in specific domains. Despite their …
-
Epistemic extensions of answer set programming
… As such; we introduce Communicating Answer Set Programming (CASP); namely Possibilistic Answer Set Programming (PASP); there are contexts in which the current semantics for PASP lead to unintuitive results. In this thesis we address these issues in the followings ways. Firstly; ASP lacks the …
-
Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica
Declarative programming languages allow the expression of programs in a language that is closer to the problem than to the implementation details. Regardless the generality of that definition, a more clear idea of declarativeness is proposed by Lloyd[Llo94], who proposes that programs are theories …