Results 151 to 160 of about 1,803,872 (361)
A Decidable Fragment of Strategy Logic
, 2012 Strategy Logic (SL, for short) has been recently introduced by Mogavero, Murano, and Vardi as a useful formalism for reasoning explicitly about strategies, as first-order objects, in multi-agent concurrent games. This logic turns to be very powerful, subsuming all major previously studied modal logics for strategic reasoning, including ATL, ATL*, and ...
Mogavero, Fabio +3 more
openaire +2 more sources
Large Language Model in Materials Science: Roles, Challenges, and Strategic Outlook
Advanced Intelligent Discovery, EarlyView.Large language models (LLMs) are reshaping materials science. Acting as Oracle, Surrogate, Quant, and Arbiter, they now extract knowledge, predict properties, gauge risk, and steer decisions within a traceable loop. Overcoming data heterogeneity, hallucinations, and poor interpretability demands domain‐adapted models, cross‐modal data standards, and ...
Jinglan Zhang +4 more
wiley +1 more source
A Galois connection between classical and intuitionistic logics. I: Syntax
, 2017 In a 1985 commentary to his collected works, Kolmogorov remarked that his 1932 paper "was written in hope that with time, the logic of solution of problems [i.e., intuitionistic logic] will become a permanent part of a [standard] course of logic.
Melikhov, Sergey A.
core
The complexity of satisfiability for fragments of hybrid logic—Part I [PDF]
, 2010 Arne Meier +5 more
openalex +1 more source
Trauma‐Informed Practice in Welfare‐to‐Work and Employment Services: A Scoping Review
Australian Journal of Social Issues, EarlyView.ABSTRACT There is increasing recognition within welfare services, including employment services, that many participants may have histories of trauma. Research suggests that experiences of trauma not only impact individuals' psychosocial health but also vocational elements such as job performance, employability, career progression, and financial ...
Emily Corbett +3 more
wiley +1 more source
The Insistence of Blackness and the Persistence of Antiblackness in Ireland
Australian Journal of Social Issues, EarlyView.ABSTRACT This paper positions Ireland as a critical site for examining the insistence of blackness and an antiblackness created and sustained through Irish ethnonationalist imaginaries and exclusionary processes. Drawing on connected sociologies and Irish Black Studies, this enquiry argues that antiblackness in Ireland operates as a generational force,
Philomena Mullen
wiley +1 more source
DECLAREd: A Polytime LTLf Fragment
LogicsThis paper considers a specification rewriting meachanism for a specific fragment of Linear Temporal Logic for Finite traces, DECLAREd, working through an equational logic and rewriting mechanism under customary practitioner assumptions from the Business
Giacomo Bergami
doaj +1 more source
Australian Journal of Social Issues, EarlyView.ABSTRACT This paper applies Critical Race Theory (CRT) to explore how whiteness operates within Australia's anti‐racism movement as a structuring force that shapes discourse, practice and policy. Despite the anti‐racism movement offering crucial spaces for resistance and reform, it remains entangled in Australia's settler‐colonial present and systemic ...
Franka Vaughan, Aish Ravi
wiley +1 more source
Nucleic Acid‐Based Molecular Machines for Biological Applications
Advanced NanoBiomed Research, EarlyView.Molecular machines are devices assembled from molecules with specific functions. In this review, the development of DNA nanostructures, which are then assembled into molecular machines, is summarized. Their classification and biological applications, such as biosensing, targeted therapy, and molecular circuits are introduced.
Yirong Guo, Xiaolei Zuo, Fangfei Yin
wiley +1 more source