Results 91 to 100 of about 1,200,969 (291)

Automated Inference of Finite Unsatisfiability

, 2011
We present Infinox, an automated tool for analyzing first-order logic problems, aimed at showing finite unsatisfiability, i.e., the absence of models with finite domains. Finite satisfiability is not a decidable problem (only semi-decidable), which means
Koen Claessen, Lillieström, Ann, Ann Lillieström, Lillieström, Ann,, Lindstr\uf6m Claessen, Koen, Lindström Claessen, Koen,, Lilliestr\uf6m, Ann, Claessen, Koen   +7 more
core   +1 more source

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

Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)

Data in Brief, 2019
The authors universal (meta-)logical reasoning approach is demonstrated and assessed with a prominent riddle in epistemic reasoning: the Wise Men Puzzle.
Christoph Benzmüller
doaj   +1 more source

Reasoning about hybrid reasoning : a discussion [PDF]

In this discussion we outline an approach to reasoning about hybrid reasoning systems. We believe that following this approach allows theoretical results to be obtained rapidly, allows a high level of understanding about the relationship between ...
Gent, Ian, Cohn, A. G.
core  

AuRUS: Automated Reasoning on UML/OCL Schemas

, 2010
To ensure the quality of an information system, the conceptual schema that represents its domain must be semantically correct. We present a prototype to automatically check whether a UML schema with OCL constraints is right in this sense.
Queralt Calafat, Anna, Farré Tost, Carles, Rull Fort, Guillem, Urpí Tubella, Antoni, Teniente López, Ernest   +4 more
core   +1 more source

The PRIMA Thesaurus for Materials Science and Engineering

Advanced Engineering Materials, EarlyView.
The PRIMA Thesaurus is a structured vocabulary designed to improve how materials science data is described and shared. Developed with input from multiple experts, it enables clear documentation of research workflows, data exchange, and reuse across platforms.
Rossella Aversa, Alexey Boubnov, Dario De Angelis, Catriona Eschke, Maximilian Kabbe, Felix Kraus, Mirco Panighel, Richard Thelen, Davide Valentinis   +8 more
wiley   +1 more source

Leveraging Semantic Knowledge Graphs for Smart Manufacturing Integration via Asset Administration Shells

Proceedings of the International Conference on Applied Innovations in IT
Industrial IoT platforms face semantic interoperability challenges when integrating heterogeneous manufacturing equipment. While Asset Administration Shell (AAS), standardized by IEC 63278-1:2023, provides vendor-neutral digital representations, existing
Mohamad Wael Kheshfeh, Sebastian Linke, Markus Müller, Tobias Tute, Rüdiger Mecke   +4 more
doaj   +1 more source

Henkin semantics for reasoning with natural language

Journal of Language Modelling, 2016
The frequency of intensional and non-first-order definable operators in natural languages constitutes a challenge for automated reasoning with the kind of logical translations that are deemed adequate by formal semanticists.
Michael Hahn, Frank Richter
doaj   +1 more source

Acceptance conditions in automated negotiation [PDF]

, 2013
In every negotiation with a deadline, one of the negotiating parties has to accept an offer to avoid a break off. A break off is usually an undesirable outcome for both parties, therefore it is important that a negotiator employs a proficient mechanism ...
Tim Baarslag, Catholijn Jonker, Hindriks, Koen, Koen Hindriks, Jonker, Catholijn, Baarslag, Tim   +5 more
core   +1 more source

A Lightweight Procedural Layer for Hybrid Experimental–Computational Workflows in Materials Science

Advanced Engineering Materials, EarlyView.
We unveil a prototype hybrid‐workflow framework that fuses automatedcomputation with hands‐on experiments. Built atop pyiron, a lightweight, parameterized layer translates procedure descriptions into executable manual steps, syncing instrument settings, human interventions, and data capture in real‐time today.
Steffen Brinckmann, Sarath Menon, Raphael Röske, Johannes Steinhülb, Michael Selzer, Jan Janssen, Tilmann Hickel, Ruth Schwaiger, Jörg Neugebauer   +8 more
wiley   +1 more source