3053 search results - page 155 / 611 » A Logic of Abstract Argumentation |
157
click to vote
JAPLL
2007
15 years 6 months ago
2007
ecking, algebraic, abstract machines, etc.). THE JOURNAL The Journal of Applied Logic1 publishes papers in areas of logic which can be applied in other disciplines as well as appli...
165
click to vote
DEXAW
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a first step towards a security model that defines access control for logical document structures. el benefits from roles to abstract from users and from secur...
174
click to vote
JANCL
2007
15 years 6 months ago
2007
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
168
click to vote
IJCNN
2007
IEEE
16 years 26 days ago
2007
IEEE
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
187
click to vote
TLCA
2005
Springer
16 years 1 days 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. ...