Dipartimento di Informatica, Universita di L'Aquila, Italy;
Dipartimento di Matematica e Informatica, Universita di Trieste, Italy;
National Institute of Telecommunications, Warsaw, Poland;
relational systems; translation methods; modal logic;
机译:命题非经典逻辑的有效关系演绎系统
机译:原子论与非经典逻辑推理
机译:MatBase中与二元关系相关的非关系约束的检测与执行
机译:指定二等关系与推理的属性的环境II:非古典逻辑的关系呈现
机译:产妇护理中的主题知识,个人兴趣,关系推理和批判性思维之间的关系
机译:关系思维和关系推理:利用模式的力量
机译:知识表示和推理的非经典逻辑
机译:通过交互推理模型建立非经典推理模式