In this paper two theories of defeasible reasoning, Pollock's account and my theory of ranking functions, are compared, on a strategic level, since a strictly formal comparison would have been ...

This paper develops concepts and procedures for the evaluation of complex debates. They provide means for answering such questions as whether a thesis has to be considered as proven or disproven in a ...

Description logics constitute a family of formal knowledge representation languages that underpin a wide range of modern semantic systems, including the Semantic Web. They provide a well-founded ...