Answer Set Programming; Multi-agent Systems; Application; Hybrid Systems;
机译:回答答案集编程中的“为什么” –解释方法的调查
机译:一致性提取器系统:答案集程序,用于数据库中的一致查询回答
机译:致力于将答案和检查程序自动集成到答案集编程中:元解释器和应用程序
机译:用智能车辆的秩序拣选系统应用答案集编程的各种方法
机译:车辆到车辆通信的生物启发模型,用于智能交通系统应用。
机译:用于车辆应用的集成智能安全系统(ISS)的系统接口
机译:用智能车辆的秩序拣选系统应用答案集编程的各种方法
机译:CasTE(课程装配系统和教程环境)和CVI :(战斗车辆识别)智能教程系统首次应用于车辆识别