Over the years, several systematic literature reviews have been published reporting advances in tools and techniques for automated assessment in Computer Science. However, there is not yet a major bibliometric study t...
详细信息
ISBN:
(纸本)9783031330223;9783031330230
Over the years, several systematic literature reviews have been published reporting advances in tools and techniques for automated assessment in Computer Science. However, there is not yet a major bibliometric study that examines the relationships and influence of publications, authors, and journals to make these research trends visible. this paper presents a bibliometric study of automated assessment of programming exercises, including a descriptive analysis using various bibliometric measures and data visualizations. the data was collected from the Web of Science Core Collection. the obtained results allow us to identify the most influential authors and their affiliations, monitor the evolution of publications and citations, establish relationships between emerging themes in publications, discover research trends, and more. this paper provides a deeper knowledge of the literature and facilitates future researchers to start in this field.
Despite Large Language Models (LLMs) have revolutionised Natural Language Processing (NLP), their capability of performing logical reasoning and automated planning is still debated. In this context, the state of the a...
详细信息
ISBN:
(纸本)9783031711695;9783031711701
Despite Large Language Models (LLMs) have revolutionised Natural Language Processing (NLP), their capability of performing logical reasoning and automated planning is still debated. In this context, the state of the art is PlanGPT, a GPT-2 model specifically trained for planning tasks. this recent approach provides GPT-based planning policies with remarkable performance, but it can generate invalid plans containing violated action preconditions or unsatisfied goals. To address this limitation, we propose an extension of PlanGPT that integrates a plan validator into the generation process. the validator is exploited to prune invalid plan prefixes during the GPT token generation, obtaining a more robust and powerful solution to planning via GPT. We empirically evaluate the effectiveness of our approach and demonstrate its potential in various planning domains.
logic-based approaches to AI have the advantage that their behavior can in principle be explained withthe help of proofs of the computed consequences. For ontologies based on Description logic (DL), we have put this ...
详细信息
ISBN:
(纸本)9783031450716;9783031450723
logic-based approaches to AI have the advantage that their behavior can in principle be explained withthe help of proofs of the computed consequences. For ontologies based on Description logic (DL), we have put this advantage into practice by showing how proofs for consequences derived by DL reasoners can be computed and displayed in a user-friendly way. However, these methods are insufficient in applications where also numerical reasoning is relevant. the present paper considers proofs for DLs extended with concrete domains (CDs) based on the rational numbers, which leave reasoning tractable if integrated into the lightweight DL epsilon L-perpendicular to. Since no implemented DL reasoner supports these CDs, we first develop reasoning procedures for them, and show how they can be combined withreasoning approaches for pure DLs, both for epsilon L-perpendicular to and the more expressive DL ALC. these procedures are designed such that it is easy to extract proofs from them. We show how the extracted CD proofs can be combined with proofs on the DL side into integrated proofs that explain boththe DL and the CD reasoning.
the proceedings contain 17 papers. the special focus in this conference is on Rules and reasoning. the topics include: Comparing State of the Art Rule-Based Tools for Information Extraction;a Case Study...
ISBN:
(纸本)9783031450716
the proceedings contain 17 papers. the special focus in this conference is on Rules and reasoning. the topics include: Comparing State of the Art Rule-Based Tools for Information Extraction;a Case Study for Declarative Pattern Mining in Digital Forensics;semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle;FreeCHR: An Algebraic Framework for CHR-Embeddings;explaining Optimal Trajectories;abstract Domains for Database Manipulating Processes;extracting Interpretable Hierarchical Rules from Deep Neural Networks’ Latent Space;extension of Regression Tsetlin Machine for Interpretable Uncertainty Assessment;GUCON: A Generic Graph Pattern Based Policy Framework for Usage Control Enforcement;combining Proofs for Description logic and Concrete Domain reasoning;notation3 as an Existential Rule Language;fine-Tuning Large Enterprise Language Models via Ontological reasoning;layerwise Learning of Mixed Conjunctive and Disjunctive Rule Sets;analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs;marrying Query Rewriting and Knowledge Graph Embeddings.
the proceedings contain 37 papers. the special focus in this conference is on Russian Automation. the topics include: Mapping and Path Planning Methods for Highly automated Vehicles in Agriculture;morphological Analys...
ISBN:
(纸本)9783031824937
the proceedings contain 37 papers. the special focus in this conference is on Russian Automation. the topics include: Mapping and Path Planning Methods for Highly automated Vehicles in Agriculture;morphological Analysis and Synthesis Features of Technological Processes;a Modern Method of Wireless Control of Unguarded Railway Crossings;duties and Obligations of the Railway Staff Concerned When the Microprocessorized Contactless Controlling Gauge Device Signal Is Triggered;integration of automated Management Systems for Enterprises’ Transport and Technical Services;development of an Automation Module for Planning Trajectories for Painting Aircraft Fuselage Elements;identification of Metal Sheets in the Flow, Based on the Marking Imprint, Using Neural Networks;study of the Performance of Adaptive Sensor Networks for Collecting and Processing thermoelectric Data;development and Research of a Cartographic Model for Municipal Planning as the Basis of an Intelligent Geoinformation System;BIM Visual programming of Bionic Architecture Construction Using Dynamo and Revit;development of a Model and Algorithms for Trigger Control of Technological Processes of Resource Provision;system for Statistical Assessment of Means of Controlling Engineers’ Qualification for Information Support to Manage the Recruiting Process in Industry;smart Enumeration Technology;comparative Analysis of C-Band Conical Horn Antenna Sparse Structures Characteristics at Different Frequencies;software Implementation of Heuristic Methods of Optimization and Integration into a Cloud Service;computer System for Modeling Fluid Flow Around Bodies and Its Potential in Industry;the Effect of Regular and Irregular Segmentations on Characteristics and Charge Distribution Densities of Microstrip Lines;reinforcement Learning with External Teacher for Building Energy Management.
the proceedings contain 181 papers. the topics discussed include: a novel area efficient TIEO based reversible logic gates in QCA paradigm;emerging cyber threats in healthcare: a study of attacks in IOMT ecosystems;im...
ISBN:
(纸本)9798350341485
the proceedings contain 181 papers. the topics discussed include: a novel area efficient TIEO based reversible logic gates in QCA paradigm;emerging cyber threats in healthcare: a study of attacks in IOMT ecosystems;implementation of multi-channel message queues using QUIC;enhanced pixel privacy: leveraging deep learning for advanced image steganography;efficient secured cloud storage system using dynamic multiple clouds cryptographic algorithm;automated system for traffic control and management;enhancing diabetic retinopathy detection with an innovative ACSE-CLF algorithm: a deep learning approach;deep learning for detecting depression: unveiling emotional distress from tweets;low complexity memristor-based RRAM design for IoT applications;unveiling the power of collective intelligence: a voting-based approach for dementia classification;and fuzzy logic expert system for analyzing student performance.
We introduce the framework FreeCHR which formalizes the embedding of Constraint Handling Rules (CHR) into a host language, using the concept of initial algebra semantics from category theory, to establish a high-level...
详细信息
ISBN:
(纸本)9783031450716;9783031450723
We introduce the framework FreeCHR which formalizes the embedding of Constraint Handling Rules (CHR) into a host language, using the concept of initial algebra semantics from category theory, to establish a high-level implementation scheme for CHR as well as a common formalization for boththeory and practice. We propose a lifting of the syntax of CHR via an endofunctor in the category Set and a lifting of the very abstract operational semantics of CHR into FreeCHR, using the free algebra, generated by the endofunctor and give proofs for soundness and completeness w.r.t. their original definition.
Research on a basic programminglogic controller (PLC) kit designing and creation for teaching in the programmable logic controller course here resulted from the recognition on problems related to the lacking of testi...
详细信息
ISBN:
(数字)9781665498210
ISBN:
(纸本)9781665498210
Research on a basic programminglogic controller (PLC) kit designing and creation for teaching in the programmable logic controller course here resulted from the recognition on problems related to the lacking of testing kit as a teaching material in the programmable logic controller course of the Electrical Department, Faculty of Industrial Education and Technology. Researchers conducted this research to design and create a basic programminglogic controller (PLC) kit for teaching in the programmable logic controller course. the sample group in this study was 20 of students from the second year of the Electrical Department. Data analysis was done to retrieve the percentage, average, and standard deviation values, as well as to compare the learning achievement by t-test. It was found from the results that the experts agreed withthe quality of a designed and created basic programminglogic controller (PLC) kit at very high level. Teaching by this basic programminglogic controller (PLC) kit allowed the group of student samples to have higher learning achievement at the statistically significant level of .05. the group of samples also satisfied with a designed and created basic programminglogic controller (PLC) kit at highest level.
In this short paper, we briefly describe the application of a declarative AI approach to a case study concerning the analysis of real-world phone recordings. In particular, we summarize the general results obtained fo...
详细信息
ISBN:
(纸本)9783031450716;9783031450723
In this short paper, we briefly describe the application of a declarative AI approach to a case study concerning the analysis of real-world phone recordings. In particular, we summarize the general results obtained for a couple of mining tasks, one being sequential pattern mining and the other contrast pattern mining, reformulated within the framework of Answer Set programming.
logicprogramming has long being advocated for legal reasoning, and several approaches have been put forward relying upon explicit representation of the law in logicprogramming terms. In this position paper we focus ...
详细信息
logicprogramming has long being advocated for legal reasoning, and several approaches have been put forward relying upon explicit representation of the law in logicprogramming terms. In this position paper we focus on the PROLEG logic-programming-based framework for formalizing and reasoning with Japanese presupposed ultimate fact theory. Specifically, we examine challenges and opportunities in leveraging deep learning techniques for improving legal reasoning using PROLEG, identifying four distinct options ranging from enhancing fact extraction using deep learning to end-to-end solutions for reasoning with textual legal descriptions. We assess advantages and limitations of each option, considering their technical feasibility, interpretability, and alignment withthe needs of legal practitioners and decision-makers. We believe that our analysis can serve as a guideline for developers aiming to build effective decision-support systems for the legal domain, while fostering a deeper understanding of challenges and potential advancements by neuro-symbolic approaches in legal applications. 2023 Copyright for this paper by its authors.
暂无评论