منابع مشابه
A Behavioural Theory of First-Order CML
We investigate a number of semantic issues which arise, when a language of expressions such as ML, is augmented with constructs for communication and concurrency, as is the case with CML. We construct a simple language of first-order expressions, which includes an operator let.. = . . .in.. .end to provide a form of sequentialisation and a simple form of abstraction, communication constructs, a...
متن کاملA First-Order Theory of Communicating First-Order Formulas
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of events, including other communicative acts; and the knowledge states of any agent — speaker, hearer, or third parties — any of these in the past, present, or future — and any logical combination of these, including formul...
متن کاملThermoelastic Analysis of a Functionally Graded Simple Blade Using First-Order Shear Deformation Theory
In this article, the thermo-elastic behavior of a functionally graded simple blade subjected to the mechanical and thermal loadings is presented, applying a semi-analytical method and a variable thickness cantilever beam model. A specific temperature gradient is employed between the root and the edges of the beam. It is assumed that the mechanical and thermal properties are longitudinal directi...
متن کاملFirst Order Theory Re
This paper summarizes the current state of the art in the topics of rst-order theory revision and theory restructuring. The various tasks involved in rst-order theory reenement (revision vs. restructuring) are deened and then discussed in turn. For theory revision, the issue of minimality is discussed in detail, and a general outline algorithm is given which identiies the major places of diiere...
متن کاملA Theory of First-Order Counterfactual Reasoning
A new theory of evaluating counterfactual statements is presented based on the established predicate calculus formalism of the Fluent Calculus for reasoning about actions. The assertion of a counterfactual antecedent is axiomatized as the performance of a special action. An existing solution to the Ramification Problem in the Fluent Calculus, where indirect effects of actions are accounted for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1999
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(98)00049-8