Logical consequence and combinations of logics: fundaments and efficient applications
Research proposal logical consequence and combinations of logics: fundaments and e...
Bases for paraconsistent logic programming in multi-valued logics
Efficient solutions for hybrid Markov decision processes specified through probabi...
Solving Puzzles and Reframing Paradoxes: an investigation in non-classical logics