Results 21 to 30 of about 220,610 (290)
Restricted Predicates for Hypothetical Datalog [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Hypothetical Datalog is based on an intuitionistic semantics rather than on a classical logic semantics, and embedded implications are allowed in rule bodies.
Fernando Sáenz-Pérez
doaj +1 more source
On Some Generalizations of Reverse Dynamic Hardy Type Inequalities on Time Scales
Axioms, 2022 In the present paper, we prove some new reverse type dynamic inequalities on T. Our main inequalities are proved by using the chain rule and Fubini’s theorem on time scales T. Our results extend some existing results in the literature.
Ahmed A. El-Deeb, Clemente Cesarano
doaj +1 more source
Mine Productivity Upper Bounds and Truck Dispatch Rules
Mining, 2023 This paper proposes an upper bound for mine productivity (useful for long-term planning) and also a simple truck dispatch rule (useful for short-term operations) that demonstrates how tight the upper bound can be using a simulation.
Adriano Chaves Lisboa +2 more
doaj +1 more source
Taming Existence in RDF Querying [PDF]
, 2008 We introduce the recursive, rule-based RDF query language RDFLog. RDFLog extends previous RDF query languages by arbitrary quantifier alternation: blank nodes may occur in the scope of all, some, or none of the universal variables of a rule.
Bry, François +5 more
core +2 more sources
Semantic Rule-Based Equipment Diagnostics [PDF]
, 2017 Industrial rule-based diagnostic systems are often data-dependant in the sense that they rely on specific characteristics of individual pieces of equipment. This dependence poses significant challenges in rule authoring, reuse, and maintenance by engineers.
Gulnar Mehdi +8 more
openaire +2 more sources
Compositionality of Approximate Bisimulation for Probabilistic Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Probabilistic transition system specifications using the rule format ntmuft-ntmuxt provide structural operational semantics for Segala-type systems and guarantee that probabilistic bisimilarity is a congruence.
Daniel Gebler, Simone Tini
doaj +1 more source
Initial Draft of a Possible Declarative Semantics for the Language [PDF]
, 2005 This article introduces a preliminary declarative semantics for a subset of the language Xcerpt (so-called grouping-stratifiable programs) in form of a classical (Tarski style) model theory, adapted to the specific requirements of Xcerpt’s constructs ...
Bry, François +2 more
core +1 more source
Multi-Step Quantum Numerical Techniques for Finding the Solutions of Nonlinear Equations
Mathematics, 2022 In this paper, we analyze the q-iterative schemes to determine the roots of nonlinear equations by applying the decomposition technique with Simpson’s 13-rule in the setting of q-calculus.
Kamsing Nonlaopon +4 more
doaj +1 more source
Rule-Based Semantic Sensing [PDF]
, 2011 Rule-Based Systems have been in use for decades to solve a variety of problems but not in the sensor informatics domain. Rules aid the aggregation of low-level sensor readings to form a more complete picture of the real world and help to address 10 identified challenges for sensor network middleware. This paper presents the reader with an overview of a
Woznowski, Pete R, Preece, Alun
openaire +2 more sources
Evaluating the performance of model transformation styles in Maude [PDF]
, 2011 Rule-based programming has been shown to be very successful in many application areas. Two prominent examples are the specification of model transformations in model driven development approaches and the definition of structured operational semantics of ...
A. Boronat +12 more
core +2 more sources