4737 search results - page 199 / 948 » The LOGIC negotiation model |
225
click to vote
LOPSTR
2007
Springer
16 years 1 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
179
click to vote
ACIIDS
2010
IEEE
16 years 5 days ago
2010
IEEE
This article investigates the role of common-knowledge in the principal-agent model under asymmetric information. We treat the problem: How the common-knowledge condition will be a...
164
click to vote
AGP
1993
IEEE
15 years 11 months ago
1993
IEEE
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...
172
Voted
BSL
1999
15 years 6 months ago
1999
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...
230
click to vote
FSTTCS
2005
Springer
16 years 18 days ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...