"reasoning over" is a correct and usable phrase in written English.
You can use it to emphasize an act of thoughtful consideration or consideration of arguments and evidence before making a decision. For example, "I'm reasoning over the different options before I make a decision about my next career move."
When using an OWL reasoner capable of reasoning over instances and enumeration axioms, the third axiom is a consequence of the first two.
Inferring plans in these spaces requires reasoning over multiple levels of abstraction.
To fill this gap, we present LARS, a Logic-based framework for Analytic Reasoning over Streams.
The decompositional inference strategy has been used for fuzzy reasoning over the set of fuzzy rules.
We present evidence of noninstrumental reasoning over sacred values from field experiments in real world conflicts.
To accomplish reasoning over trajectories, the ontology must consider mobile object, domain and other knowledge.
Second, we are concerned with improving the efficiency of reasoning over a set of logical axioms by partitioning the set with respect to some detectable structure, and reasoning over individual partitions either locally or in a distributed fashion.
In this work, we present a generic approach for reasoning over AFs, based on the novel concept of complexity-sensitivity.
The bad faith of all such ultra-revisionist undertakings lies in a sustained preference for a priori reasoning over human testimony.
Judges haven't taken kindly to this line of reasoning over the years, but that probably won't keep people from trying again.
Defending the superiority of evidence-based reasoning over religious faith and philosophical thought experiments, Thagard argues that minds are brains and that reality is what science can discover.
