E-LIB Suche - Ergebnisse für: Beckmann, Arnold

1

Towards an Ontological Framework for Integrating Domain Exp..:

, In: 2023 IEEE 17th International Conference on Semantic Computing (ICSC),

Beden, Sadeer ; Beckmann, Arnold - p. 221-224 , 2023

Link: https://doi.org/10.1109/..

2

Steelmaking Predictive Analytics Based on Random Forest and..:

Beden, Sadeer ; Lakshmanan, Kayal ; Giannetti, Cinzia.
Applied Sciences. 13 (2023) 23 - p. 12778 , 2023

Link: https://doi.org/10.3390/..

3

KSPMI: A Knowledge-based System for Predictive Maintenance ..:

Cao, Qiushi ; Zanni-Merk, Cecilia ; Samet, Ahmed...
Robotics and Computer-Integrated Manufacturing. 74 (2022) - p. 102281 , 2022

Link: https://doi.org/10.1016/..

4

Combining Blockchain and Semantic Technologies: A Survey:

, In: 2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain),

Alsamani, Anwar ; Beckmann, Arnold - p. 1-6 , 2022

Link: https://doi.org/10.1109/..

5

Data modelling and Remaining Useful Life estimation of roll..:

Lakshmanan, Kayal ; Borghini, Eugenio ; Beckmann, Arnold..
Procedia Computer Science. 207 (2022) - p. 1057-1066 , 2022

Link: https://doi.org/10.1016/..

6

A core reference ontology for steelmaking process knowledge..:

Cao, Qiushi ; Beden, Sadeer ; Beckmann, Arnold
Computers in Industry. 135 (2022) - p. 103574 , 2022

Link: https://doi.org/10.1016/..

7

Modeling and Computing Available Rights for Algorithmic Lic..:

, In: The 5th International Conference on Future Networks & Distributed Systems,

Beckmann, Arnold ; Santos, João ; Vijai Ananth, Indirajith - p. 795-802 , 2021

Link: https://dl.acm.org/doi/1..

8

SCRO: A Domain Ontology for Describing Steel Cold Rolling P..:

Beden, Sadeer ; Cao, Qiushi ; Beckmann, Arnold
Information. 12 (2021) 8 - p. 304 , 2021

Link: https://doi.org/10.3390/..

9

On transformations of constant depth propositional proofs:

Beckmann, Arnold ; Buss, Sam
Annals of Pure and Applied Logic. 170 (2019) 10 - p. 1176-1187 , 2019

Link: https://doi.org/10.1016/..

10

Hyper Natural Deduction for Gödel Logic—A natural deduction..:

Beckmann, Arnold ; Preining, Norbert
Journal of Logic and Computation. 28 (2018) 6 - p. 1125-1187 , 2018

Link: https://doi.org/10.1093/..

11

The NP Search Problems of Frege and Extended Frege Proofs:

Beckmann, Arnold ; Buss, Sam
ACM Transactions on Computational Logic. 18 (2017) 2 - p. 1-19 , 2017

Link: https://doi.org/10.1145/..

12

The NP Search Problems of Frege and Extended Frege Proofs:

Beckmann, Arnold ; Buss, Sam
ACM Transactions on Computational Logic (TOCL). 18 (2017) 2 - p. 1-19 , 2017

Link: https://dl.acm.org/doi/1..

13

Deciding logics of linear Kripke frames with scattered end ..:

Beckmann, Arnold ; Preining, Norbert
Soft Computing. 21 (2016) 1 - p. 191-197 , 2016

Link: https://doi.org/10.1007/..

14

Cobham recursive set functions:

Beckmann, Arnold ; Buss, Sam ; Friedman, Sy-David..
Annals of Pure and Applied Logic. 167 (2016) 3 - p. 335-369 , 2016

Link: https://doi.org/10.1016/..

15

Hyper Natural Deduction:

, In: Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Beckmann, Arnold ; Preining, Norbert - p. 547-558 , 2015

Link: https://dl.acm.org/doi/1..