Výsledky vyhľadávania - "Declarative programming"

Constructed Response or Multiple-Choice Questions for Assessing Declarative Programming Knowledge? That is the Question Autor Belo, Yolanda, Moro, Sérgio, Martins, António, Ramos, Pedro, Martinho Costa, Joana, Esmerado, Joaquim

“…Aim/Purpose: This paper presents a data mining approach for analyzing responses to advanced declarative programming questions…”
Získať plný text

A Methodology and Simulation-based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge Autor Casadei, Roberto, Fortino, Giancarlo, Pianini, Danilo, Placuzzi, Andrea, Savaglio, Claudio, Viroli, Mirko

“… Approaches for collective adaptive systems engineering, such as aggregate computing, provide declarative programming models and tools for dealing with the uncertainty and the complexity…”
Získať plný text

Cost Optimisation Tool for Multicommodity Network Flow Problem in Telecommunications Autor MLADENOVIĆ, Snežana, STEFANOVIĆ, Ivana, JANKOVIĆ, Slađana, UZELAC, Ana, MARKOVIĆ, Goran, ZDRAVKOVIĆ, Stefan

“… Declarative programming is a good choice for optimisation problems because it is enough to specify only the relations that must be satisfied, without giving any effective procedure for finding…”
Získať plný text

Digital forensics and investigations meet artificial intelligence Autor Costantini, Stefania, De Gasperis, Giovanni, Olivieri, Raffaele

“…In the frame of Digital Forensic (DF) and Digital Investigations (DI), the “Evidence Analysis” phase has the aim to provide objective data, and to perform…”
Získať plný text

Dominating Set Reconfiguration with Answer Set Programming Autor KATO, MASATO, BANBARA, MUTSUNORI, SCHAUB, TORSTEN, SOH, TAKEHIDE, TAMURA, NAOYUKI

“… of feasible solutions subject to a certain adjacency relation. This problem is PSPACE-complete in general…”
Získať plný text

Multi-Shot Answer Set Programming for Flexible Payroll Management Autor CALLEWAERT, BENJAMIN, VENNEKENS, JOOST

“…Payroll management is a critical business task that is subject to a large number of rules, which vary widely between companies, sectors, and countries…”
Získať plný text

Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming Autor BOGATARKAN, AYSU, ERDEM, ESRA

“…, an autonomous warehouse) such that no two agents collide with each other, and subject to some constraints on the lengths of paths…”
Získať plný text

Dynamic data-driven learning for self-healing avionics Autor Imai, Shigeru, Chen, Sida, Zhu, Wennan, Varela, Carlos A.

“… In this paper, we present a highly-declarative programming framework that facilitates the development of self-healing avionics applications, which can detect and recover from data errors…”
Získať plný text

A multiparametric view on answer set programming Autor Fichte, Johannes K., Kronegger, Martin, Woltran, Stefan

“…Disjunctive answer set programming (ASP) is an important framework for declarative modeling and problem solving, where the computational complexity of basic…”
Získať plný text

Partial Compilation of ASP Programs Autor CUTERI, BERNARDO, DODARO, CARMINE, RICCA, FRANCESCO, SCHÜLLER, PETER

“…, we obtain a specific binary for a given program), and might not be subject to the grounding step…”
Získať plný text

Knowledge representation analysis of graph mining Autor van der Hallen, Matthias, Paramonov, Sergey, Janssens, Gerda, Denecker, Marc

“…This paper analyses the graph mining problem, and the frequent pattern mining task associated with it. In general, frequent pattern mining looks for a graph…”
Získať plný text

Equivalence between answer-set programs under (partially) fixed input Autor Bliem, Bernhard, Woltran, Stefan

“…Answer Set Programming has become an increasingly popular formalism for declarative problem solving. Among the huge body of theoretical results, investigations…”
Získať plný text

Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin Autor Baget, Jean-François, Garcia, Laurent, Garreau, Fabien, Lefèvre, Claire, Rocher, Swan, Stéphan, Igor

“…This article deals with the combination of ontologies and rules by means of existential rules and answer set programming. Existential rules have been proposed…”
Získať plný text

Stable model semantics for founded bounds Autor AZIZ, REHAN ABDUL, CHU, GEOFFREY, STUCKEY, PETER J.

“…Answer Set Programming (ASP) is a powerful form of declarative programming used in areas such as planning or reasoning…”
Získať plný text

Answer Set Programming for Flexible Payroll Management Autor Callewaert, Benjamin, Vennekens, Joost

“…Payroll management is a critical business task that is subject to a large number of rules, which vary widely between companies, sectors, and countries…”
Získať plný text

Learning Brave Assumption-Based Argumentation Frameworks via ASP Autor De Angelis, Emanuele, Proietti, Maurizio, Toni, Francesca

“… It allows capturing defeasible knowledge, subject to argumentative debate. While, in much existing work, ABA frameworks are given up-front, in this paper we focus…”
Získať plný text

On a Structural Approach to the Complex Systems Conceptual Modeling Autor Brodsky, Yury I.

“… The design tool for such systems is the development of ontologies for their subject areas. A problem arises: in our activity, we consider more complex subject areas, and the complexity of ontologies is growing…”
Získať plný text

A Preliminary Data-driven Analysis of Common Errors Encountered by Novice SPARC Programmers Autor Hansen, Zach, Du, Hanxiang, Xing, Wanli, Eckel, Rory, Lugo, Justin, Zhang, Yuanlin

“…Answer Set Programming (ASP), a modern development of Logic Programming, enables a natural integration of Computing with STEM subjects…”
Získať plný text

Joe Celko's Analytics and OLAP in SQL Autor Celko, Joe

“…The First book that teaches what SQL programmers need in order to successfully make the transition from transactional systems (OLTP) into the world of OLAP…”
Získať plný text

Dominating Set Reconfiguration with Answer Set Programming Autor Kato, Masato, Schaub, Torsten, Soh, Takehide, Tamura, Naoyuki, Banbara, Mutsunori

“… of feasible solutions subject to a certain adjacency relation. This problem is PSPACE-complete in general…”
Získať plný text