Results 171 to 180 of about 348,999 (338)

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic [PDF]

arXiv
We introduce LLM-ARC, a neuro-symbolic framework designed to enhance the logical reasoning capabilities of Large Language Models (LLMs), by combining them with an Automated Reasoning Critic (ARC). LLM-ARC employs an Actor-Critic method where the LLM Actor generates declarative logic programs along with tests for semantic correctness, while the ...
arxiv  

Development and Validation of a One‐Dimensional Finite Difference Simulation Scheme for Polymer Laser Powder Bed Fusion with Application to the Effect of the Inter Layer Time

Advanced Engineering Materials, EarlyView.
The study presents an efficient simulation approach for the polymer laser powder bed fusion process polymers process, validated with polyamide 12, polyamide 6, and polyetherketoneketone. It shows that inter layer time affects part density, with 90s yielding dense parts.
Claas Bierwisch, Bastien Dietemann, Moritz Grünewald, Christian Schlör, Johannes Rudloff   +4 more
wiley   +1 more source

Design Smart Games with requirements, generate them with a Click, and revise them with a GUIs

Advances in Distributed Computing and Artificial Intelligence Journal, 2013
TERENCE is an FP7 ICT European project that is developing an adaptive learning system for supporting poor comprehenders and their educators. Its learning material are books of stories and games. The games are specialised into smart games, which stimulate
Rosella GENNARI, Pierpaolo VITTORINI, Tania di MASCIO, Fernando DE LA PRIETA, Vincenza COFINI   +4 more
doaj  

A case-based reasoning strategy of integrating case-level and covariate-level reasoning to automatically select covariates for spatial prediction

Annals of GIS
Spatial prediction is essential for obtaining the spatial distribution of geographic variables and selecting appropriate covariates for this process can be challenging, especially for non-expert users.
Yi-Jie Wang, Cheng-Zhi Qin, Peng Liang, Liang-Jun Zhu, Zi-Yue Chen, Cheng-Long Wu, A-Xing Zhu   +6 more
doaj   +1 more source

Smart Rubber Extrusion Line Combining Multiple Sensor Techniques for AI‐Based Process Control

Advanced Engineering Materials, Volume 27, Issue 8, April 2025.
This publication presents a digitalization approach for a laboratory rubber extrusion line, employing innovative measurement methods and artificial intelligence (AI)‐based process control. The results demonstrate that the measurement systems are capable of detecting changes in the process and extrudate quality.
Alexander Aschemann, Paul‐Felix Hagen, Simon Albers, Robin Rofallski, Sven Schwabe, Mohammed Dagher, Marco Lukas, Sebastian Leineweber, Benjamin Klie, Patrick Schneider, Hagen Bossemeyer, Lennart Hinz, Markus Kästner, Birger Reitz, Eduard Reithmeier, Thomas Luhmann, Hainer Wackerbarth, Ludger Overmeyer, Ulrich Giese   +18 more
wiley   +1 more source

Electrospinning Technology, Machine Learning, and Control Approaches: A Review

Advanced Engineering Materials, Volume 27, Issue 7, April 2025.
Electrospinning produces micro‐ and nanoscale fibers, holding great promise in biomedical engineering. Industrial adoption faces challenges in controlling fiber properties, reproducibility, and scalability. This review explores electrospinning techniques, modeling, and machine learning for process optimization.
Arya Shabani, Gorkem Anil Al, Nael Berri, Bernardo Castro‐Dominguez, Hannah S. Leese, Uriel Martinez‐Hernandez   +5 more
wiley   +1 more source

A Case‐Based Reasoning Approach to Model Manufacturing Constraints for Impact Extrusion

Advanced Engineering Materials, EarlyView.
A hybrid modeling approach is presented that combines constraint‐based process modeling and case‐based reasoning. The model formalizes manufacturing constraints and integrates simulation data to model complex manufacturing processes. The approach supports manufacturability analysis during product design through an adaptive modeling environment.
Kevin Herrmann, Eduard Ortlieb, Hendrik Wester, Paul Christoph Gembarski, Bernd‐Arno Behrens, Roland Lachmayer   +5 more
wiley   +1 more source

TodBR: Target-Oriented Dialog with Bidirectional Reasoning on Knowledge Graph

Applied Sciences
Target-oriented dialog explores how a dialog agent connects two topics cooperatively and coherently, which aims to generate a “bridging” utterance connecting the new topic to the previous conversation turn.
Zongfeng Qu, Zhitong Yang, Bo Wang, Qinghua Hu   +3 more
doaj   +1 more source

Systems Problem Solving by Automated Reasoning Approach

, 1987
Masahiro KURIHARA, Azuma Ouchi, Ikuo Kaji   +2 more
openalex   +2 more sources

ReFixar: Multi-version Reasoning for Automated Repair of Regression Errors [PDF]

, 2021
Xuan-Bach D. Le, Quang Loc Le
openalex   +1 more source