Results 51 to 60 of about 82,622 (268)
Linear Logical Algorithms [PDF]
, 2008 Bottom-up logic programming can be used to declaratively specify many algorithms in a succinct and natural way, and McAllester and Ganzinger have shown that it is possible to define a cost semantics that enables reasoning about the running time of algorithms written as inference rules.
Robert J. Simmons, Frank Pfenning
openaire +1 more source
Intelligent Tutoring Systems for Adult Learning in STEM Disciplines
New Directions for Adult and Continuing Education, EarlyView.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
New Directions for Adult and Continuing Education, EarlyView.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
An Infinitary Model of Linear Logic [PDF]
, 2015 Accepted at Fossacs ...
Charles Grellois, Paul-André Melliès
openaire +2 more sources
Arthritis Care &Research, EarlyView.Objective We aimed to validate the Pediatric Arthritis Ultrasound Scoring System (PAUSS) for upper extremity joints in children with juvenile idiopathic arthritis (JIA). Methods Children with JIA were evaluated for elbow, wrist, or finger arthritis by clinical examination (CE) and musculoskeletal ultrasound (MSUS) with images scored according to the ...
Patricia Vega‐Fernandez +12 more
wiley +1 more source
The rôle of linear logic in coalgebraical approach of computing
Journal of Information and Organizational Sciences, 2011 Linear logic provides a logical perspective on computational issues such as control of resources and order of evaluation. The most important feature of linear logic is that formulae areconsidered as actions.
Viliam Slodičák, Pavol Macko
doaj
Notre Dame Journal of Formal Logic, 1989 Linear logic" (LL; see Girard (6)) was proposed to be of use in computer science, but it can be formulated as a "display logic" (DL; see Belnap (2)), which is a kind of Gentzen calculus admitting easy proof of an Elimination Theorem. Thus LL is naturally placed within a wider proof- theoretical framework that is known to include relevance, intuitionist,
openaire +2 more sources
Object calculi in linear logic [PDF]
Journal of Logic and Computation, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bugliesi, Michele +3 more
openaire +6 more sources
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source
Constructing Fully Complete Models of Multiplicative Linear Logic [PDF]
Logical Methods in Computer Science, 2015 The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are the fully complete ones. We demonstrate how the Hyland-Tan double glueing
Andrea Schalk, Hugh Paul Steele
doaj +1 more source