Results 1  10
of
1,102
WellBehaved IDL Theories
, 1996
"... . The field of nonmonotonic logic, sixteen years old now, is devoted to solve the problem of reasoning under incomplete knowledge, whose good understanding is essential to the construction of AI as a science and whose relevance reaches far beyond AI applications. During these years, many insights ha ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
of etiquette rules guiding knowledge representation into theories framed within the Inconsistent Default Logic, IDL. It is then established the important result that IDL produces a unique extension for a theory constructed according to these rules. This result calls forth IDL as an interesting alternative
WELLBEHAVED PRODUCTION ECONOMIES
, 2004
"... We show that production economies are tâtonnement stable if consumers satisfy the weak axiom of revealed preference. To ensure that producer supply decisions are well defined, we restrict prices in the tâtonnement so that positive profits cannot occur but do allow supply decisions to be multivalued ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
valued. The model therefore permits linear activities and hence the technologies that admit capital theory paradoxes. The result thus shows that if the consumer side of the economy is well behaved then capital theory paradoxes are irrelevant for stability. Other features of the Walrasian generalequilibrium model
Lagrange: A WellBehaved Function
"... This paper outlines the biography and achievements of Joseph Louis Lagrange (1736–1813) and includes a detailed explanation, with examples, of the Lagrange Multiplier method for optimizing multivariate functions subject to constraint. The Lagrange Multiplier is widely used in chemistry, physics, a ..."
Abstract
 Add to MetaCart
, and economics, in particular. The paper considers the origin of economics ’ use of the multiplier and provides a concrete example of how it is used in microeconomic theory. While the focus is on the multiplier’s application to microeconomics, the intended audience includes all teachers and students who
An Elementary Proof That WellBehaved Utility Functions Exist
, 2016
"... Abstract Starting from an intuitive and constructive approach for countable domains, and combining this with elementary measure theory, we obtain an upper semicontinuous utility function based on outer measure. Whenever preferences over an arbitrary domain can at all be represented by a utility fu ..."
Abstract
 Add to MetaCart
Abstract Starting from an intuitive and constructive approach for countable domains, and combining this with elementary measure theory, we obtain an upper semicontinuous utility function based on outer measure. Whenever preferences over an arbitrary domain can at all be represented by a utility
Wellbehaved principle alternative to bounded induction
, 2004
"... We introduce some Π1–expressible combinatorial principles which may be treated as axioms for some bounded arithmetic theories. The principles, denoted Sk(Σ b n, length log k) and Sk(Σ b n, depth log k) (where ‘Sk ’ stands for ‘Skolem’), are related to the consistency of Σ b n–induction: for instance ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
We introduce some Π1–expressible combinatorial principles which may be treated as axioms for some bounded arithmetic theories. The principles, denoted Sk(Σ b n, length log k) and Sk(Σ b n, depth log k) (where ‘Sk ’ stands for ‘Skolem’), are related to the consistency of Σ b n
Metastability of Asymptotically WellBehaved Potential Games
"... One of the main criticisms to game theory concerns the assumption of full rationality. Logit dynamics is a decentralized algorithm in which a level of irrationality (a.k.a. “noise”) is introduced in players ’ behavior. In this context, the solution concept of interest becomes the logit equilibrium, ..."
Abstract
 Add to MetaCart
exist and can be reached quickly by logit dynamics. We identify a class of potential games, called asymptotically wellbehaved, for which the behavior of the logit dynamics is not chaotic as the number of players increases so to guarantee meaningful asymptotic results. We prove that any such game
A wellbehaved LTS for the Picalculus (Abstract)
, 2007
"... The picalculus and its many variations have received much attention in the literature. We discuss the standard early labelled transition system (lts) and outline an approach which decomposes the system into two components, one of which is presented in detail. The advantages of using the decompositi ..."
Abstract
 Add to MetaCart
the decomposition include a more complete understanding of the treatment of bound outputs in Pi as well as an lts which is more robust with respect to the addition and removal of language features. The present paper serves as an overview of some of the techniques involved and some of the goals of the ongoing work
Dynamic Algebras as a wellbehaved fragment of Relation Algebras
 In Algebraic Logic and Universal Algebra in Computer Science, LNCS 425
, 1990
"... The varieties RA of relation algebras and DA of dynamic algebras are similar with regard to definitional capacity, admitting essentially the same equational definitions of converse and star. They differ with regard to completeness and decidability. The RA definitions that are incomplete with respect ..."
Abstract

Cited by 43 (5 self)
 Add to MetaCart
with respect to representable relation algebras, when expressed in their DA form are complete with respect to representable dynamic algebras. Moreover, whereas the theory of RA is undecidable, that of DA is decidable in exponential time. These results follow from representability of the free intensional
The Determinants of Credit Spread Changes.
 Journal of Finance
, 2001
"... ABSTRACT Using dealer's quotes and transactions prices on straight industrial bonds, we investigate the determinants of credit spread changes. Variables that should in theory determine credit spread changes have rather limited explanatory power. Further, the residuals from this regression are ..."
Abstract

Cited by 422 (2 self)
 Add to MetaCart
ABSTRACT Using dealer's quotes and transactions prices on straight industrial bonds, we investigate the determinants of credit spread changes. Variables that should in theory determine credit spread changes have rather limited explanatory power. Further, the residuals from this regression
An abstract coalgebraic approach to process equivalence for wellbehaved operational semantics
, 2004
"... This thesis is part of the programme aimed at finding a mathematical theory of wellbehaved structural operational semantics. General and basic results shown in 1997 in a seminal paper by Turi and Plotkin are extended in two directions, aiming at greater expressivity of the framework. The socalled ..."
Abstract

Cited by 24 (5 self)
 Add to MetaCart
This thesis is part of the programme aimed at finding a mathematical theory of wellbehaved structural operational semantics. General and basic results shown in 1997 in a seminal paper by Turi and Plotkin are extended in two directions, aiming at greater expressivity of the framework. The so
Results 1  10
of
1,102