机译:描述因果行为理论及其在答案集编程中的实现
机译:使用答案集编程进行感知动作,不完整信息和静态因果律的推理和计划
机译:通过答案集编程以动作语言为生物网络建模
机译:在答案集编程中表征因果作用理论及其实施:Action语言B,C及更远
机译:在答案集编程中表征因果行为理论及其实现。
机译:使用答案集编程详尽地描述信令网络的可行逻辑模型
机译:使用感知操作,不完整信息和推理进行推理和规划 使用答案集编程的静态因果律
机译:联邦电子数据交换实施指南。 asC X12 003060Transaction set 830R。具有发布能力的计划表(特殊计划要求)。执行公约