2303 search results - page 210 / 461 » On the logic of argumentation theory |
179
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
176
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...
151
click to vote
FLAIRS
2003
15 years 8 months ago
2003
This paper proposes a modelling of information security policies in the framework of possibilistic logic. Our modelling is based on the concept of roles associated with users. Acc...
162
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
238
click to vote
MST
2011
15 years 1 months ago
2011
: We define a weighted monadic second order logic for unranked trees and the concept of weighted unranked tree automata, and we investigate the expressive power of these two conce...