33 search results - page 4 / 7 » Reasoning with Inconsistencies in Propositional Peer-to-Peer... |
147
click to vote
LPAR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
153
click to vote
LOGCOM
2002
15 years 5 months 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...
150
click to vote
AMAI
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
190
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
175
click to vote
AI
1999
Springer
15 years 5 months ago
1999
Springer
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...