2138 search results - page 132 / 428 » Logical Step-Indexed Logical Relations |
185
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
154
click to vote
ACIIDS
2010
IEEE
15 years 11 months 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...
183
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
170
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...
191
click to vote
ICCS
1998
Springer
15 years 10 months ago
1998
Springer
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics),...