Search
Search Results
-
Inductive learning of answer set programs for autonomous surgical task planning
The quality of robot-assisted surgery can be improved and the use of hospital resources can be optimized by enhancing autonomy and reliability in the...
-
Combining expert-based beliefs and answer sets
Answer Set Programming (ASP) is a declarative knowledge representation language that uses a non-monotonic reasoning mechanism to search for all...
-
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming
Goal-directed evaluation of Answer Set Programs is gaining traction thanks to its amenability to create AI systems that can, due to the evaluation...
-
Inequality constrained stochastic nonlinear optimization via active-set sequential quadratic programming
We study nonlinear optimization problems with a stochastic objective and deterministic equality and inequality constraints, which emerge in numerous...
-
Towards Causality-Based Conflict Resolution in Answer Set Programs
Using answer set programming in real-world applications requires that the answer set program is correct and adequately represents knowledge. In this...
-
Block-based versus text-based programming: a comparison of learners’ programming behaviors, computational thinking skills and attitudes toward programming
In the current era where computational literacy holds significant relevance, a growing number of schools across the globe have placed emphasis on...
-
Children’s programming environment acceptance: extending the boundary conditions to programming competition, computational thinking, and programming modality
While numerous studies have highlighted the potential benefits of programming environment (PE) use for children’s learning, the boundary conditions...
-
Integrating programming errors into knowledge graphs for automated assignment of programming tasks
In this study, we developed a classification system of programming errors based on the historical data of 680,540 programming records collected on...
-
Score-Based Explanations in Data Management and Machine Learning: An Answer-Set Programming Approach to Counterfactual Analysis
We describe some recent approaches to score-based explanations for query answers in databases and outcomes from classification models in machine...
-
Modeling Administrative Discretion Using Goal-Directed Answer Set Programming
Automated legal reasoning and its application in smart contract is getting interest. In this context, ethical and legal concerns make it necessary...
-
Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling
Multi-component machines deployed, e.g., in paper and steel industries, have complex physical and functional dependencies between their components....
-
Predicting answer acceptability for question-answering system
Question-answering (QA) platforms such as Stack Overflow, Quora, and Stack Exchange have become favourite places to exchange knowledge with community...
-
An enhanced framework for smart automated evaluations of answer scripts using NLP and deep learning methods
The manual process of evaluating answer scripts is strenuous. Evaluators use the answer key to assess the answers in the answer scripts. Advancements...
-
ARCS approach to PTA-based programming language practice sessions: Factors influencing Programming Problem-Solving Skills
This study used the ARCS approach to investigate the effects of university students’ motivation, including attention, relevance, confidence, and...
-
ACcoding: A graph-based dataset for online judge programming
A well-designed educational programming dataset is a valuable asset for students and educators. Such a dataset enables students to improve their...
-
Asynchronous Programming
Here, we develop a parallel version of the fractal set using asynchronous programming which is an abstraction level above low-level threads. In...
-
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring
Answer Set Programming (ASP) is a well-established declarative AI formalism for knowledge representation and reasoning. ASP systems were successfully...
-
Answer sheet layout analysis based on YOLOv5s-DC and MSER
Layout analysis is the first step in automatic grading and other OCR tasks. Although various layout analysis technologies have been developed for...
-
Designing Mathematical Programming Problems
The growing use of programming in mathematics classrooms presents a challenge linked to implementation in general and task design in particular. This...
-
Multi-Feature Fusion Based Structural Deep Neural Network for Predicting Answer Time on Stack Overflow
Stack Overflow provides a platform for developers to seek suitable solutions by asking questions and receiving answers on various topics. However,...