Výsledky vyhľadávania - declarative programming knowledge
-
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
Declarative programming in PROLOG
ISSN: 2066-8325Vydavateľské údaje: Bucharest Saphira Publishing House, Bucharest, Romania 01.04.2014Vydané v Oeconomics of knowledge (01.04.2014)“…The declarative programming by declarative languages is clearly the best option a programmer can have for a completely readable, flexible and extensible code…”
Získať plný text
Journal Article -
3
Teaching Programming by Revealing Thinking Process: Watching Experts' Live Coding Videos With Reflection Annotations
ISSN: 0018-9359, 1557-9638Vydavateľské údaje: New York IEEE 01.11.2022Vydané v IEEE transactions on education (01.11.2022)“…Contribution: Programming is a complex cognitive activity that involves both conceptual understanding and procedural skills, which is challenging for novices…”
Získať plný text
Journal Article -
4
Declarative Programming in Java
ISSN: 2066-8325Vydavateľské údaje: Bucharest Saphira Publishing House, Bucharest, Romania 01.04.2014Vydané v Oeconomics of knowledge (01.04.2014)“… This paper tries to conclude if there are any chances to use the most popular programming language of the moment in a declarative manner, even if Java itself…”
Získať plný text
Journal Article -
5
The Economics of Prolog Declarative Programming in Java
ISSN: 2066-8325Vydavateľské údaje: Bucharest Saphira Publishing House, Bucharest, Romania 01.07.2014Vydané v Oeconomics of knowledge (01.07.2014)“…This paper explores the possibilities of combining the PROLOG simplicity with the power of JAVA in order to create better user friendly software applications…”
Získať plný text
Journal Article -
6
Declarative Knowledge Programming: Better Than Procedural?
ISSN: 0885-9000, 2374-9407Vydavateľské údaje: IEEE 01.04.1986Vydané v IEEE expert (01.04.1986)Získať plný text
Journal Article -
7
Declarative Logic Programming: Theory, Systems, and Applications
ISBN: 1970001968, 9781970001969Vydavateľské údaje: San Rafael Association for Computing Machinery 2018“…Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages…”
Získať plný text
E-kniha -
8
Combining expert-based beliefs and answer sets
ISSN: 0924-669X, 1573-7497Vydavateľské údaje: New York Springer US 01.02.2023Vydané v Applied intelligence (Dordrecht, Netherlands) (01.02.2023)“…Answer Set Programming (ASP) is a declarative knowledge representation language that uses a non-monotonic reasoning mechanism to search for all answer sets or models of a specific problem…”
Získať plný text
Journal Article -
9
Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases
ISSN: 1943-068X, 1943-0698Vydavateľské údaje: IEEE 01.06.2016Vydané v IEEE transactions on computational intelligence and AI in games. (01.06.2016)“…) and the Vienna University of Technology (TU Vienna). The specific issues that arise when introducing artificial intelligence in a physics-based game are dealt with a combination of traditional imperative programming and declarative programming, used…”
Získať plný text
Journal Article -
10
General-purpose Declarative Inductive Programming with Domain-Specific Background Knowledge for Data Wrangling Automation
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 26.09.2018Vydané v arXiv.org (26.09.2018)“…) aims at learning declarative (functional or logic) programs from examples. Two key advantages of IP are the use of background knowledge and the ability to synthesise programs from a few input/output examples (as humans…”
Získať plný text
Paper -
11
Linear-Time Temporal Answer Set Programming
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge Cambridge University Press 01.01.2023Vydané v Theory and practice of logic programming (01.01.2023)“…In this survey, we present an overview on (Modal) Temporal Logic Programming in view of its application to Knowledge Representation and Declarative Problem Solving…”
Získať plný text
Journal Article -
12
Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs)
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 31.07.2020Vydané v arXiv.org (31.07.2020)“…Modelling, specifying and reasoning about complex systems requires to process in an integrated fashion declarative and procedural aspects of the target domain…”
Získať plný text
Paper -
13
Differences between students' learning behaviors and performances of adopting a competitive game-based item bank practice approach for learning procedural and declarative knowledge
ISSN: 1049-4820, 1744-5191Vydavateľské údaje: Abingdon Routledge 18.08.2019Vydané v Interactive learning environments (18.08.2019)“… and declarative knowledge, might play important roles in competitive game-based learning. Also, some studies have found that learners with high prior knowledge gain benefits…”
Získať plný text
Journal Article -
14
The External Interface for Extending WASP
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge Cambridge University Press 01.03.2020Vydané v Theory and practice of logic programming (01.03.2020)“…Answer set programming (ASP) is a successful declarative formalism for knowledge representation and reasoning…”
Získať plný text
Journal Article -
15
Answer Set Programming: An Introduction to the Special Issue
ISSN: 0738-4602, 2371-9621Vydavateľské údaje: La Canada American Association for Artificial Intelligence 22.09.2016Vydané v The AI magazine (22.09.2016)“…This editorial introduces answer set programming, a vibrant research area in computational knowledge representation and declarative programming…”
Získať plný text
Journal Article -
16
Relating Natural Language Aptitude to Individual Differences in Learning Programming Languages
ISSN: 2045-2322, 2045-2322Vydavateľské údaje: London Nature Publishing Group UK 02.03.2020Vydané v Scientific reports (02.03.2020)“…, fluid reasoning, working memory, inhibitory control) as predictors. Rate of learning, programming accuracy, and post-test declarative knowledge were used as outcome…”
Získať plný text
Journal Article -
17
Proceedings 36th International Conference on Logic Programming (Technical Communications)
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 19.09.2020Vydané v arXiv.org (19.09.2020)“…: Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation…”
Získať plný text
Paper -
18
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge Cambridge University Press 01.05.2022Vydané v Theory and practice of logic programming (01.05.2022)“…Answer set programming is a prominent declarative programming paradigm used in formulating combinatorial search problems and implementing different knowledge representation formalisms…”
Získať plný text
Journal Article -
19
Scheduling outpatient day service operations for rheumatology diseases
ISSN: 1936-6582, 1936-6590Vydavateľské údaje: New York Springer US 01.03.2020Vydané v Flexible services and manufacturing journal (01.03.2020)“…’ appointments, to reduce patient’s waiting time, and to increase patient’s satisfaction. The proposed combinatorial problem is solved by Answer Set Programming, which is a declarative…”
Získať plný text
Journal Article -
20
Declarative Question Answering over Knowledge Bases containing Natural Language Text with Answer Set Programming
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 01.05.2019Vydané v arXiv.org (01.05.2019)“… often struggle when additional knowledge is needed to correctly answer the questions. Proposed alternatives involve translating the question and the natural language text to a logical representation and then use logical reasoning…”
Získať plný text
Paper

