...
机译:生成相关逻辑编程语义的模式及其在论证理论中的应用
Universitat Politecnica de Catalunya Software Department (LSI), Spain;
Universidad de las Americas - Puebla. CENTIA. Mexico;
Benemerita Universidad Atonoma de Puebla Facultad de Ciencias de la Computacion. Mexico;
Non-monotonic reasoning; extension-based argumentation semantics and logic programming semantics; logic programming;
机译:用于扩展逻辑编程的论证语义的参数化层次结构及其在充分依据的语义中的应用
机译:论逻辑程序设计语义与论证语义之间的对等
机译:论抽象论证框架的语义:逻辑编程方法
机译:论逻辑程序设计语义学与论证语义学的对等
机译:谁的逻辑?哪种论据?引入和评估用于论证写作教学的Hintikka疑问句模型,并与Toulmin模型,停滞理论和“传统”逻辑进行比较。
机译:从带注释的关系模式中聪明地生成丰富的SPARQL查询:应用于生物学数据库的语义Web服务创建
机译:扩展逻辑的参数化语义层次结构 编程及其在有根本语义学中的应用
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。