Results 101 to 110 of about 5,812 (235)
Distribution-Free Normal Modal Logics
LogicsThis article initiates the semantic study of distribution-free normal modal logic systems, laying the semantic foundations and anticipating further research in the area. The article explores roughly the same area, though taking a different approach, as a
Chrysafis Hartonas
doaj +1 more source
Quantum Gravity Strategy for the Production of Dark Matter Using Cavitation by Minimum Entropy
Proceedings, 2019 The minimum entropy is responsible for the formation of dark matter bubbles in a black hole, while the variation in the density of dark matter allows these bubbles to leave the event horizon. Some experimental evidence supports the dark matter production
Edward Jiménez, Esteban E. Jimenez
doaj +1 more source
Thinking Is Not Enough: The B* Expansion Technique for Enhancing Autonomous LLM Agents
Expert Systems, Volume 43, Issue 8, August 2026.ABSTRACT Most autonomous agents built on large language models (LLMs) focus on improving internal reasoning while assuming a fixed and complete set of primitive actions. In this work, we challenge this assumption and introduce the B*$$ {B}^{\ast } $$ expansion technique, an action‐centric method that enables agents to iteratively construct new actions ...
Sebastián Andrés Mayorquín Posadas +1 more
wiley +1 more source
Axiomatic Semantics for Java^light in Isabelle/HOL
, 2007 . We introduce a Hoare-style calculus for a nearly full subset of sequential Java, which we call Java `ight . In particular, we present solutions to challenging features like exception handling, static initialization of classes and dynamic binding ...
David von Oheimb
core
Fractal and FractionalThis paper develops novel similarity and dissimilarity measures for (p,q,r)-fractional fuzzy sets to enhance information discrimination and decision-making under complex uncertainty. We first introduce axiomatic dissimilarity measures and establish their
Muhammad Jabir Khan +3 more
doaj +1 more source
La concepción de las teorías empíricas de Suppes
Crítica, 2018 A reconstruction of Patrick Suppes' conception of physical theories and of the empirical theories in general (quantitative and non-stochastic) is intended.
José Luis Rolleri
doaj +1 more source
Journal of Linguistic Anthropology, Volume 36, Issue 2, August 2026.Abstract I propose the concept of delomization, the process whereby a sign comes to be understood as a symbol. I term such signs delomes. With rhematization and dicentization, delomization completes the triplet that linguistic anthropologists derive from Charles Sanders Peirce's third trichotomy.
Urmila Nair
wiley +1 more source
Deriving Denotational Semantics from Axiomatic Semantics within Constructive Set Theory
, 2007 In this paper we provide a constructive interpretation of Hoare logics with the constructive and intensional theory of program development TK. As a result it becomes possible to derive denotational semantics from axiomatic semantics; this facilitates a ...
Christopher P. Lewington +2 more
core
Axiomatic characterization of trace reachability for concurrent objects [PDF]
, 2019 In concurrent object models, objects encapsulate local state, schedule local processes, interact via asynchronous method calls, and methods of different objects are executed concurrently.
Boer, F.S. de +7 more
core +1 more source
The Social Constitution of Mathematical Knowledge. Objectivity, Semantics, and Axiomatics
, 2023 The philosophy of mathematical practice sometimes investigates the social constitution of mathematics but does not always make explicit the philosophical-normative framework that guides the discussion. This chapter investigates some recent proposals in the philosophy of mathematical practice that compare social facts and mathematical objects ...
openaire +2 more sources