Search Results - declarative programming knowledge

Constructed Response or Multiple-Choice Questions for Assessing Declarative Programming Knowledge? That is the Question by 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…”
Get full text

Declarative programming in PROLOG by ALECU, Felician

“…The declarative programming by declarative languages is clearly the best option a programmer can have for a completely readable, flexible and extensible code…”
Get full text

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

“…Contribution: Programming is a complex cognitive activity that involves both conceptual understanding and procedural skills, which is challenging for novices…”
Get full text

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

“… 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…”
Get full text

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

“…This paper explores the possibilities of combining the PROLOG simplicity with the power of JAVA in order to create better user friendly software applications…”
Get full text

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

Get full text

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

“…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…”
Get full text

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

“…Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages…”
Get full text

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

“…) 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…”
Get full text

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

“…) 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…”
Get full text

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

“…In this survey, we present an overview on (Modal) Temporal Logic Programming in view of its application to Knowledge Representation and Declarative Problem Solving…”
Get full text

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

“…Modelling, specifying and reasoning about complex systems requires to process in an integrated fashion declarative and procedural aspects of the target domain…”
Get full text

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

“… 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…”
Get full text

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

“…Answer set programming (ASP) is a successful declarative formalism for knowledge representation and reasoning…”
Get full text

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

“…This editorial introduces answer set programming, a vibrant research area in computational knowledge representation and declarative programming…”
Get full text

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

“…, fluid reasoning, working memory, inhibitory control) as predictors. Rate of learning, programming accuracy, and post-test declarative knowledge were used as outcome…”
Get full text

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

“…: Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation…”
Get full text

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

“…Answer set programming is a prominent declarative programming paradigm used in formulating combinatorial search problems and implementing different knowledge representation formalisms…”
Get full text

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

“…’ 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…”
Get full text

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

“… 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…”
Get full text