Suchergebnisse - declarative programming knowledge

Andere Suchmöglichkeiten:

  1. 1

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

    ISSN: 2165-3151, 2165-316X
    Veröffentlicht: Santa Rosa Informing Science Institute 2019
    “… Aim/Purpose: This paper presents a data mining approach for analyzing responses to advanced declarative programming questions …”
    Volltext
    Journal Article
  2. 2

    Declarative programming in PROLOG von ALECU, Felician

    ISSN: 2066-8325
    Veröffentlicht: Bucharest Saphira Publishing House, Bucharest, Romania 01.04.2014
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  3. 3

    Teaching Programming by Revealing Thinking Process: Watching Experts' Live Coding Videos With Reflection Annotations von Lin, Yu-Tzu, Yeh, Martin K.-C., Tan, Sheng-Rong

    ISSN: 0018-9359, 1557-9638
    Veröffentlicht: New York IEEE 01.11.2022
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  4. 4

    Declarative Programming in Java von DINA, Razvan, ALECU, Felician

    ISSN: 2066-8325
    Veröffentlicht: Bucharest Saphira Publishing House, Bucharest, Romania 01.04.2014
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  5. 5

    The Economics of Prolog Declarative Programming in Java von ALECU, Felician

    ISSN: 2066-8325
    Veröffentlicht: Bucharest Saphira Publishing House, Bucharest, Romania 01.07.2014
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  6. 6

    Declarative Knowledge Programming: Better Than Procedural? von Schor, Marshall I.

    ISSN: 0885-9000, 2374-9407
    Veröffentlicht: IEEE 01.04.1986
    Veröffentlicht in IEEE expert (01.04.1986)
    Volltext
    Journal Article
  7. 7

    Combining expert-based beliefs and answer sets von Sounchio, Serge Sonfack, Geneste, Laurent, Foguem, Bernard Kamsu

    ISSN: 0924-669X, 1573-7497
    Veröffentlicht: New York Springer US 01.02.2023
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  8. 8

    Declarative Logic Programming: Theory, Systems, and Applications von Michael, Kifer, Liu, Yanhong

    ISBN: 1970001968, 9781970001969
    Veröffentlicht: San Rafael Association for Computing Machinery 2018
    “… Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages …”
    Volltext
    E-Book
  9. 9

    Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases von Calimeri, Francesco, Fink, Michael, Germano, Stefano, Humenberger, Andreas, Ianni, Giovambattista, Redl, Christoph, Stepanova, Daria, Tucci, Andrea, Wimmer, Anton

    ISSN: 1943-068X, 1943-0698
    Veröffentlicht: IEEE 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 …”
    Volltext
    Journal Article
  10. 10

    General-purpose Declarative Inductive Programming with Domain-Specific Background Knowledge for Data Wrangling Automation von Contreras-Ochando, Lidia, Ferri, César, Hernández-Orallo, José, Martínez-Plumed, Fernando, Ramírez-Quintana, María José, Katayama, Susumu

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 26.09.2018
    Veröffentlicht in 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 …”
    Volltext
    Paper
  11. 11

    Linear-Time Temporal Answer Set Programming von AGUADO, FELICIDAD, CABALAR, PEDRO, DIÉGUEZ, MARTÍN, PÉREZ, GILBERTO, SCHAUB, TORSTEN, SCHUHMANN, ANNA, VIDAL, CONCEPCIÓN

    ISSN: 1471-0684, 1475-3081
    Veröffentlicht: Cambridge Cambridge University Press 01.01.2023
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  12. 12

    Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs) von Sileno, Giovanni

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 31.07.2020
    Veröffentlicht in 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 …”
    Volltext
    Paper
  13. 13

    Differences between students' learning behaviors and performances of adopting a competitive game-based item bank practice approach for learning procedural and declarative knowledge von Hwang, Gwo-Haur, Chen, Beyin, Chen, Ru-Shan, Wu, Ting-Ting, Lai, Yu-Ling

    ISSN: 1049-4820, 1744-5191
    Veröffentlicht: Abingdon Routledge 18.08.2019
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  14. 14

    The External Interface for Extending WASP von DODARO, CARMINE, RICCA, FRANCESCO

    ISSN: 1471-0684, 1475-3081
    Veröffentlicht: Cambridge Cambridge University Press 01.03.2020
    Veröffentlicht in Theory and practice of logic programming (01.03.2020)
    “… Answer set programming (ASP) is a successful declarative formalism for knowledge representation and reasoning …”
    Volltext
    Journal Article
  15. 15

    Answer Set Programming: An Introduction to the Special Issue von Brewka, Gerhard, Eiter, Thomas, Truszczyński, Mirosław

    ISSN: 0738-4602, 2371-9621
    Veröffentlicht: La Canada American Association for Artificial Intelligence 22.09.2016
    Veröffentlicht in The AI magazine (22.09.2016)
    “… This editorial introduces answer set programming, a vibrant research area in computational knowledge representation and declarative programming …”
    Volltext
    Journal Article
  16. 16

    Relating Natural Language Aptitude to Individual Differences in Learning Programming Languages von Prat, Chantel S., Madhyastha, Tara M., Mottarella, Malayka J., Kuo, Chu-Hsuan

    ISSN: 2045-2322, 2045-2322
    Veröffentlicht: London Nature Publishing Group UK 02.03.2020
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  17. 17

    Proceedings 36th International Conference on Logic Programming (Technical Communications) von Ricca, Francesco, Russo, Alessandra, Greco, Sergio, Leone, Nicola, Artikis, Alexander, Friedrich, Gerhard, Fodor, Paul, Kimmig, Angelika, Lisi, Francesca, Maratea, Marco, Mileo, Alessandra, Riguzzi, Fabrizio

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 19.09.2020
    Veröffentlicht in arXiv.org (19.09.2020)
    “… : Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation …”
    Volltext
    Paper
  18. 18

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

    ISSN: 1471-0684, 1475-3081
    Veröffentlicht: Cambridge Cambridge University Press 01.05.2022
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  19. 19

    Scheduling outpatient day service operations for rheumatology diseases von Guido, Rosita, Ielpa, Giuseppe, Conforti, Domenico

    ISSN: 1936-6582, 1936-6590
    Veröffentlicht: New York Springer US 01.03.2020
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  20. 20

    Declarative Question Answering over Knowledge Bases containing Natural Language Text with Answer Set Programming von Mitra, Arindam, Clark, Peter, Tafjord, Oyvind, Baral, Chitta

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 01.05.2019
    Veröffentlicht in 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 …”
    Volltext
    Paper