Results 131 to 140 of about 1,585,173 (321)
Formal verification of AI software [PDF]
The application of formal verification techniques to Artificial Intelligence (AI) software, particularly expert systems, is investigated. Constraint satisfaction and model inversion are identified as two formal specification paradigms for different ...
Rushby, John, Whitehurst, R. Alan
core +1 more source
Advanced Intelligent Systems, EarlyView.OntoLogX is an autonomous AI agent that uses large language models to transform unstructured cyber security logs into ontology grounded knowledge graphs. By integrating retrieval augmented generation, iterative correction, and a light‐weight log ontology, OntoLogX produces semantically consistent intelligence that links raw log events to MITRE ATT & CK
Luca Cotti +4 more
wiley +1 more source
An executable formal semantics for UML-RT
Journal of Software and Systems Modeling, 2016 Ernesto Posse, J. Dingel
semanticscholar +2 more sources
Syntax-Semantics Interaction in Mathematics
Studia Semiotyczne, 2019 DOI: http://doi.org/10.26333/sts.xxxii2.06 MICHAEL HELLER SYNTAX–SEMANTICS INTERACTION IN MATHEMATICS SU M M A R Y: Mathematical tools of category theory are employed to study the syntax-semantics problem in the philosophy of mathematics.
Michael Heller
doaj
Advanced Intelligent Systems, EarlyView.ResearchConnect is an AI‐powered platform that automates researcher profiling, interdisciplinary team formation, and early‐stage research ideation. By extracting keywords from papers and web sources, it quickly clusters researchers into coherent teams and generates collaborative ideas using large language models. Validation on NSF‐funded projects shows
Akshay Vilas Jadhav +2 more
wiley +1 more source
Formal Semantics in the Neurology Clinic: Atypical Understanding of Aspectual Coercion in ALS Patients. [PDF]
Front Psychol, 2016 Baggio G +3 more
europepmc +1 more source
Material‐Based Intelligence: Autonomous Adaptation and Embodied Computation in Physical Substrates
Advanced Intelligent Systems, EarlyView.This perspective formulates a unifying framework for Material‐Based Intelligence (MBI), defining the physical requirements for materials to achieve embodied action, active memory and embodied information processing through intrinsic nonequilibrium dynamics. The design of intelligent materials often draws parallels with the complex adaptive behaviors of
Vladimir A. Baulin +4 more
wiley +1 more source
Semantics, pragmatics, and formal thought disorders in people with schizophrenia
Neuropsychiatric Disease and Treatment, 2013 Carlos Salavera, Miguel Puyuelo, José L Antoñanzas, Pilar TeruelUniversidad de Zaragoza, Zaragoza, SpainBackground: The aim of this study was to analyze how formal thought disorders (FTD) affect semantics and pragmatics in patients ...
Salavera C +3 more
doaj
A Formal Semantics of SQL Queries, Its Validation, and Applications
Proceedings of the VLDB Endowment, 2017 P. Guagliardo, L. Libkin
semanticscholar +1 more source
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization. [PDF]
Bioinformatics, 2016 Misirli G +9 more
europepmc +1 more source