Sentence examples for for formalizing from inspiring English sources

No one had yet come up with the idea of formal deductive systems of logic adequate for formalizing the mathematical reasoning of their day; so no logicist thesis in Dedekind's day could be formulated in the way that is now familiar to us.

In Elements of Argumentation, Philippe Besnard and Anthony Hunter introduce techniques for formalizing deductive argumentation in artificial intelligence, emphasizing emerging formalizations for practical argumentation.

Background and techniques for formalizing deductive argumentation in a logic-based framework for artificial intelligence.

We first present a novel subspace-based framework for formalizing this task.

In this paper we describe languages for formalizing, visualizing and verifying software architectures.

There are a number of important motivations for formalizing this idea of a model.

Probabilistic relational models (PRMs) are used for formalizing the EA analysis approach.

In this paper, we extend the ONTO-PDM ontology for formalizing sustainable manufacturing knowledge.

The measurement framework provides a mathematical foundation for formalizing our intuition of what constitutes a measure.

The paper presents a careful motivation and justification of the applicability of generalized sketches for formalizing practical modeling notations.

There are multiple potential purposes for formalizing one's intellectual framework into a model, whether conceptual or quantitative.