Výsledky vyhľadávania - "declarative programming"
-
1
Constructed Response or Multiple-Choice Questions for Assessing Declarative Programming Knowledge? That is the Question
ISSN: 2165-3151, 2165-316X“…Aim/Purpose: This paper presents a data mining approach for analyzing responses to advanced declarative programming questions…”Vydavateľské údaje: Santa Rosa Informing Science Institute 2019
Získať plný text
Journal Article -
2
A Methodology and Simulation-based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge
ISSN: 2327-4662, 2327-4662Vydavateľské údaje: Piscataway IEEE 15.10.2022Vydané v IEEE internet of things journal (15.10.2022)“… 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
Journal Article -
3
Cost Optimisation Tool for Multicommodity Network Flow Problem in Telecommunications
ISSN: 0353-5320, 1848-4069Vydavateľské údaje: Sveučilište u Zagrebu Fakultet prometnih znanosti 01.01.2024Vydané v Promet (01.01.2024)“… 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
Journal Article -
4
Digital forensics and investigations meet artificial intelligence
ISSN: 1012-2443, 1573-7470Vydavateľské údaje: Cham Springer International Publishing 01.07.2019Vydané v Annals of mathematics and artificial intelligence (01.07.2019)“…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
Journal Article -
5
Dominating Set Reconfiguration with Answer Set Programming
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.07.2024Vydané v Theory and practice of logic programming (01.07.2024)“… of feasible solutions subject to a certain adjacency relation. This problem is PSPACE-complete in general…”
Získať plný text
Journal Article -
6
Multi-Shot Answer Set Programming for Flexible Payroll Management
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.05.2024Vydané v Theory and practice of logic programming (01.05.2024)“…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
Journal Article -
7
Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.11.2020Vydané v Theory and practice of logic programming (01.11.2020)“…, 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
Journal Article -
8
Dynamic data-driven learning for self-healing avionics
ISSN: 1386-7857, 1573-7543Vydavateľské údaje: New York Springer US 01.01.2019Vydané v Cluster computing (01.01.2019)“… 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
Journal Article -
9
A multiparametric view on answer set programming
ISSN: 1012-2443, 1573-7470Vydavateľské údaje: Cham Springer International Publishing 01.07.2019Vydané v Annals of mathematics and artificial intelligence (01.07.2019)“…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
Journal Article -
10
Partial Compilation of ASP Programs
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.09.2019Vydané v Theory and practice of logic programming (01.09.2019)“…, we obtain a specific binary for a given program), and might not be subject to the grounding step…”
Získať plný text
Journal Article -
11
Knowledge representation analysis of graph mining
ISSN: 1012-2443, 1573-7470Vydavateľské údaje: Cham Springer International Publishing 01.07.2019Vydané v Annals of mathematics and artificial intelligence (01.07.2019)“…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
Journal Article -
12
Equivalence between answer-set programs under (partially) fixed input
ISSN: 1012-2443, 1573-7470Vydavateľské údaje: Cham Springer International Publishing 01.08.2018Vydané v Annals of mathematics and artificial intelligence (01.08.2018)“…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
Journal Article -
13
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
ISSN: 1012-2443, 1573-7470Vydavateľské údaje: Cham Springer International Publishing 01.03.2018Vydané v Annals of mathematics and artificial intelligence (01.03.2018)“…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
Journal Article -
14
Stable model semantics for founded bounds
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.07.2013Vydané v Theory and practice of logic programming (01.07.2013)“…Answer Set Programming (ASP) is a powerful form of declarative programming used in areas such as planning or reasoning…”
Získať plný text
Journal Article -
15
Answer Set Programming for Flexible Payroll Management
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 19.03.2024Vydané v arXiv.org (19.03.2024)“…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
Paper -
16
Learning Brave Assumption-Based Argumentation Frameworks via ASP
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 08.11.2024Vydané v arXiv.org (08.11.2024)“… 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
Paper -
17
On a Structural Approach to the Complex Systems Conceptual Modeling
Vydavateľské údaje: IEEE 01.04.2023Vydané v 2023 International Conference on Control, Artificial Intelligence, Robotics & Optimization (ICCAIRO) (01.04.2023)“… 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
Konferenčný príspevok.. -
18
A Preliminary Data-driven Analysis of Common Errors Encountered by Novice SPARC Programmers
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 05.08.2022Vydané v arXiv.org (05.08.2022)“…Answer Set Programming (ASP), a modern development of Logic Programming, enables a natural integration of Computing with STEM subjects…”
Získať plný text
Paper -
19
Joe Celko's Analytics and OLAP in SQL
ISBN: 9780123695123, 0123695120Vydavateľské údaje: Chantilly Elsevier Science & Technology 2006“…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
E-kniha -
20
Dominating Set Reconfiguration with Answer Set Programming
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 14.08.2024Vydané v arXiv.org (14.08.2024)“… of feasible solutions subject to a certain adjacency relation. This problem is PSPACE-complete in general…”
Získať plný text
Paper

