...
机译:带继承的析取逻辑程序
DIMET -Universita di Reggio Calabria 89100, Reggio Calabria, Italia;
nonmonotonic reasoning; knowledge representation; disjunctive logic programming; inheritance; exceptions;
机译:归纳逻辑编程和析取逻辑编程:它们的关系和可传递性
机译:逻辑逻辑编程模板程序:操作语义
机译:学习非法解释过渡的分解逻辑计划
机译:拆除继承的分解逻辑程序(预先审视了初步报告)
机译:逻辑逻辑程序设计研究
机译:一类具有析取约束的数学程序的新可验证平稳概念
机译:具有继承性的析取逻辑程序