Sentence examples for abstract frameworks for from inspiring English sources

Modern logic provides accounts of both interpretation and derivation which work together to provide abstract frameworks for modelling the sensitivity of human reasoning to task, context and content.

Bondarenko et al. have recently proposed an abstract framework for default reasoning.

We show how the abstract concept of a labeled interface theory can be canonically extended to an abstract framework for component interfaces with ports.

The development of neuroimaging technology offers new opportunities to enrich the "biolinguistic perspective" and extend it beyond an abstract framework for inquiry.

Sharir and Welzl introduced an abstract framework for optimization problems, called LP-type problems or also generalized linear programming problems, which proved useful in algorithm design.

We present an abstract framework for default reasoning, which includes Theorist, default logic, logic programming, autoepistemic logic, non-monotonic modal logics, and certain instances of circumscription as special cases.

The paper introduces an abstract framework for the specification of components with multiple require and provide interfaces that allows the specification of multiple access to a single provide interface.

The method, which belongs to the class of nonlinear algebraic multilevel iterations (AMLIs), uses an abstract framework for general symmetric positive definite bilinear forms previously presented in another publication by the author.

For a symmetric operator or relation A with infinite deficiency indices in a Hilbert space we develop an abstract framework for the description of symmetric and self-adjoint extensions AΘ of A as restrictions of an operator or relation T which is a core of the adjoint A∗.

It received great attention only after Lions had proposed an abstract framework for the problem.

Equation (4) received much attention only after Lions [5] proposed an abstract framework for this problem.