Sentence examples for allows for reasoning from inspiring English sources

A formalism is proposed in[35] which allows for reasoning about access control, especially relating to emergency management.

Also the Dung-O-Matic system allows for reasoning with ideal and eager semantics.

This lecture explains what an economic model is, and why it allows for counterfactual reasoning and often yields paradoxical conclusions.

To overcome this problem, we present a framework for repairing inconsistencies in DL-programs by exchanging formulas of an ontology formulated in DL-LiteA, which is a prominent DL that allows for tractable reasoning.

However, recent work has shown that this feature could play a very useful role in query answering, where the syntactic structure of queries means that the occurrence of state variables is restricted in a way that allows for decidable reasoning.

Formal specifications in an executable temporal format are offered, which allows for simulation of reasoning processes and automated verification of the resulting reasoning traces in a dedicated software environment.

AND/OR graphs can represent any Boolean network and they allow for systematic reasoning through the application of the technique of recursive learning.

The ultimate goal of contract-based design is to allow for compositional reasoning, stepwise refinement, and a principled reuse of components that are already pre-designed, or designed independently.

Ontological systems allow for computational reasoning, i.e. the inference of new facts from given knowledge and rules.

Significant parts of scientific investigation are carried out on models rather than on reality itself because by studying a model we can discover features of and ascertain facts about the system the model stands for; in brief, models allow for surrogative reasoning (Swoyer 1991).

Standardized ontologies define relationships, allow for automated reasoning, and facilitate meta-analyses.