746 search results - page 78 / 150 » Connectionist Propositional Logic |
184
click to vote
JOLLI
2006
15 years 6 months ago
2006
Abstract. In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce ...
224
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
209
click to vote
AIIA
2005
Springer
16 years 5 days ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
185
click to vote
TABLEAUX
2000
Springer
15 years 10 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...
159
click to vote
AAAI
2007
15 years 9 months ago
2007
This paper presents a logical axiomatization of bargaining solutions. A bargaining situation is described in propositional logic and the bargainers’ preferences are quantified ...