Results 31 to 40 of about 60,556 (268)

Progic 2025: The 12th Workshop on Combining Probability and Logic

The Reasoner
Report on the Conference Progic 2025: The 12th Workshop on Combining Probability and Logic, Carnegie Mellon University, Pittsburgh, PA -- April 3–5, 2025.
Eissa Haydar
doaj   +1 more source

Probability and logic

Journal of Applied Logic, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Is an Apple an Orange? A Large Language Model Benchmark for Candidate Term Extraction and Subclass Decisions Against Upper Ontologies in Engineering and Materials Science

Advanced Engineering Materials, EarlyView.
Building machine‐readable vocabularies for materials science is slow, expert‐driven work. This study benchmarks 13 large language models on two of its first steps: finding candidate terms in engineering articles and deciding where they belong in a class hierarchy.
Thomas Bjarsch, Maximilian Holland, Klaus Drechsler, Johannes Schilp   +3 more
wiley   +1 more source

DigiChrom: A Domain Ontology for Semantic Representation of Trivalent Chromium Platings and Its Large Language Model‐Based Alignment With Multiple Mid‐Level Ontologies

Advanced Engineering Materials, EarlyView.
Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter, Elena Garcia Trelles, Christoph Schweizer, Thomas Seifert, Christoph Baumer, Mahmoud Elkady, Katja Feige, Daniel Grimme, Edgar Hoffmann, Andreas Waibel, Anke Walter   +10 more
wiley   +1 more source

A Constructive Treatment to Elemental Life Forms through Mathematical Philosophy

Philosophies, 2021
The quest to understand the natural and the mathematical as well as philosophical principles of dynamics of life forms are ancient in the human history of science.
Susmit Bagchi
doaj   +1 more source

Fuzzy Logic and Probability

CoRR, 2013
Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Petr Hájek 0001, Lluís Godo, Francesc Esteva   +2 more
openaire   +3 more sources

On the Effect of Creep on Local Lattice Orientation in Single‐Crystal Ni‐Based Superalloy Microstructures

Advanced Engineering Materials, EarlyView.
During creep of a single‐crystal Ni‐based superalloy, the overall crystal orientation is observed to remain constant while the microstructure evolves. Despite the lack of macroscopic rotation, small (<1°) rotations are observed on the submicron size scale and are accommodated by counteracting rotations over the scale of several micrometers.
E. J. Payton, E. B. Dursun, G. Eggeler, L. Agudo Jácome   +3 more
wiley   +1 more source

Naturalizing Logic: How Knowledge of Mechanisms Enhances Inductive Inference

Philosophies, 2021
This paper naturalizes inductive inference by showing how scientific knowledge of real mechanisms provides large benefits to it. I show how knowledge about mechanisms contributes to generalization, inference to the best explanation, causal inference, and
Paul Thagard
doaj   +1 more source

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source

Note on Probability of Logical Sentences and the Linda Problem

Analecta Cracoviensia, 2023
This paper presents a logical concept of probability which seems to be obvious, as it is, but the author is not aware of any elaboration of a developed studies on the issue or of any special philosophical application of it.
Adam Olszewski
doaj   +1 more source