Sentence examples for logical framework for from inspiring English sources
We give a logical framework for reasoning with observations at different time points.
The approach to project execution, as illustrated in the case study, provides a logical framework for executing such projects.
We propose a sound and complete logical framework for them and some logical extensions to accommodate slightly different views on desires.
The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents' choices.
If there is one thing that the hearings are showing, it is that the Administration has a great deal of work to do in constructing the strategic and logical framework for military action.
In this paper we provide a logical framework for two-person finite games in strategic form, and use it to design a computer program for discovering some classes of games that have unique pure Nash equilibrium payoffs.
Even more exotic logical frameworks for modal logic – taking us even further away from the idea of an argument with premisses and conclusion(s), that is – have been proposed that that of Blamey and Humberstone 1991.
Philosophical interest in context, and especially in the interaction of context with propositional attitudes and modals, continues to be strong; but the very general logical frameworks for context that McCarthy envisioned have yet not been taken up by philosophers.
The philosophical literature on a related topic, the logic of perception, has not been extensive; the main reference is Hintikka 1970 .[38]But sensation is addressed in recent work in the AI literature which is concerned with developing logical frameworks for general-purpose applications in robotics.
At the CO level, establish or refine logical frameworks for ECD that reflect activities across sectors.
It drew on logical frameworks for ECD to establish a theoretical foundation for inquiry; processes and outcomes were assessed in reference to those specified in the frameworks.
