State University of New York at Stony Brook.;
机译:格上近似的有充分根据的语义,查询回答和广义普通逻辑程序
机译:用单子句将良好的和双重良好的结构的中间谓词逻辑分开
机译:某些类别良好的和双重良好的Kripke框架的超直觉谓词逻辑的非排位性
机译:具有不确定性的正常逻辑计划中的良好的语义
机译:NummSquared 2006a0进行了解释,包括为逻辑,数学和计算机科学建立的新的有充分基础的功能基础。
机译:残疾当量:用于比较其他健康计划的逻辑系统。
机译:格上近似的有充分根据的语义,查询回答和广义普通逻辑程序
机译:逻辑程序的广义析取精心设计语义。