In this paper, we propose the use of weighted linguistic fuzzy rules in combination with a rule selection process to develop accurate fuzzy logic controllers dedicated to the inte...
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
We provide a description of generalized default logic as a unified formalism for nonmonotonic reasoning. Special attention will be paid to the role of the monotonic logic underlyi...
Recent experimental results have shown that the strength of resolution, the propositional DPLL procedure, the KSAT procedure for description logics, or related tableau-like implem...
Abstract. Defeasible logic (DL) promotes enthymemic, argumentative reasoning on incomplete set of premisses retracted on the presence of contrary information. Defeasible Prolog (d-...