Results 31 to 40 of about 45,694 (311)
Artificial Intelligence Methods in Hydraulic System Design
Reducing energy consumption and increasing operational efficiency are currently among the leading research topics in the design of hydraulic systems. In recent years, hydraulic system modeling and design techniques have rapidly expanded, especially using
Grzegorz Filo
doaj +1 more source
A Logic for Multi-Agent Conformant Planning Over Transition Systems
Reasoning about actions and information is one of the most active areas of research in artificial intelligence. In this article, we study the reasoning about actions and information in multi-agent conformant planning, which is an essential branch of ...
Peipei Wu, Yanjun Li
doaj +1 more source
Logic and artificial intelligence
Abstract The theoretical foundations of the logical approach to artificial intelligence are presented. Logical languages are widely used for expressing the declarative knowledge needed in artificial intelligence systems. Symbolic logic also provides a clear semantics for knowledge representation languages and a methodology for analyzing and comparing
openaire +1 more source
Computer Detection of Bent Fingers in Lead Bonding Frames [PDF]
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the ...
Mitnick, Walter L., Walter L. Mitnick
core +1 more source
Artificial Intelligence (AI) has become an important area to tackle most environmental sustainability issues such as biodiversity, energy, transportation and water management.
Emmanuel Kwame Nti +4 more
doaj +1 more source
The Logical Way to Be Artificially Intelligent [PDF]
Abductive logic programming (ALP) can be used to model reactive, proactive and pre-active thinking in intelligent agents. Reactive thinking assimilates observations of changes in the environment, whereas proactive thinking reduces goals to sub-goals and ultimately to candidate actions.
openaire +1 more source
Intelligent Tutoring Systems for Adult Learning in STEM Disciplines
ABSTRACT Intelligent tutoring systems (ITS) are reshaping adult learning in STEM by providing adaptive, data‐driven instruction across classrooms, workplaces, and informal environments. In the context of ITS, this article compares generative AI, which creates personalized explanations and practice materials, with explainable AI, which focuses on ...
Jill Zarestky, Amanda R. Lager Gleason
wiley +1 more source
ABSTRACT Mental well‐being is central to adult learner success, yet many adult education institutions lack capacity to provide timely and accessible support. This article examines how artificial intelligence (AI) can strengthen mental health–adjacent supports in adult and continuing higher education, with attention to professional practice and ...
Adam L. McClain, Thomas Wade
wiley +1 more source
Advances in Weighted Logics for Artificial Intelligence
Peer ...
Marcelo Finger +3 more
openaire +2 more sources
Decidable fragments of first-order language under stable model semantics and circumscription
The stable model semantics was recently generalized by Ferraris, Lee and Lifschitz to the full first-order language with a syntax translation approach that is very similar to McCarthy's circumscription.
Zhang, Heng (R17525) +4 more
core +1 more source

