Results 51 to 60 of about 1,229,738 (330)
Logic Programming as Constructivism [PDF]
, 1989 The features of logic programming that seem unconventional from the viewpoint of classical logic can be explained in terms of constructivistic logic. We motivate and propose a constructivistic proof theory of non-Horn logic programming.
Bry, François
core +1 more source
Advanced Engineering Materials, EarlyView.The documentation of component manufacture has become an essential part of today's production processes, especially for the analysis and optimization of production or component design with regard to structural performance, economic efficiency, and sustainability.
Björn Denker +4 more
wiley +1 more source
ARGUMENTATION OF PROCEDURAL DOCUMENTS WITHIN THE FRAMEWORK OF THE CRIMINAL PROSECUTION [PDF]
Legea și ViațaThis article is dedicated to the analysis of the role and importance of the argument of procedural acts in criminal proceedings. The article highlights the importance of persuasive argumentation and motivation of procedural acts in each phase of the ...
Sofia PILAT, Artiom PILAT
doaj +1 more source
A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING
International Journal of Foundations of Computer Science, 2004 In this paper, we propose a new resolution proof procedure for the branching-time logic programming language Cactus. The particular strength of the new proof procedure, called CSLD-resolution, is that it can handle, in a more general way, open-ended queries, i.e.
Gergatsoulis, M., Nomikos, C.
openaire +2 more sources
SMIL State: an architecture and implementation for adaptive time-based web applications [PDF]
, 2009 In this paper we examine adaptive time-based web applications (or presentations). These are interactive presentations where time dictates which parts of the application are presented (providing the major structuring paradigm), and that require ...
D Bulterman +3 more
core +2 more sources
Understanding Statistical Hypothesis Testing: The Logic of Statistical Inference
Machine Learning and Knowledge Extraction, 2019 Statistical hypothesis testing is among the most misunderstood quantitative analysis methods from data science. Despite its seeming simplicity, it has complex interdependencies between its procedural components.
F. Emmert-Streib, M. Dehmer
semanticscholar +1 more source
Advanced Engineering Materials, EarlyView.High‐temperature interactions between low‐sulfur Al‐killed Mn–B steel and MgO–C refractories (0 and 50 wt% recyclates) are studied via finger immersion tests (1600 °C). Surface‐active elements influence infiltration. MgO/CaS layer forms, along with spinel and calcium silicate.
Matheus Roberto Bellé +5 more
wiley +1 more source
Synchrotron Radiation for Quantum Technology
Advanced Functional Materials, EarlyView.Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader +10 more
wiley +1 more source
Transforming floundering into success
, 2012 We show how logic programs with "delays" can be transformed to programs without delays in a way which preserves information concerning floundering (also known as deadlock).
Apt +15 more
core +1 more source
Elaboration of the Model of Formation of Readiness of Future Primary School Teachers to the Use of Learning-playing Technologies [PDF]
, 2017 The study characterizes the structural-functional model of formation of readiness of students of the specialty “Primary education” to using learning-playing technologies in the educational process.
Marko, M. (Marina)
core +2 more sources