1581 search results - page 111 / 317 » Domain semantics of possibility computations |
115
click to vote
AAAI
1996
15 years 2 months ago
1996
Conditional logics play an important role in recent attempts to investigate default reasoning. This paper investigates firstorder conditional logic. We show that, as for first-ord...
104
Voted
DAC
2010
ACM
15 years 5 months ago
2010
ACM
In this paper we summarize recent developments in compact dynamical modeling for both linear and nonlinear systems arising in analog applications. These techniques include methods...
121
Voted
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...
121
Voted
TABLEAUX
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
106
Voted
LOGCOM
2002
15 years 21 days ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...