An A-Prolog Decision Support System for the Space Shuttle 论文

2001Lecture notes in computer science引用 228
DOI
Logic, Reasoning, and KnowledgeAI-based Problem Solving and PlanningLogic, programming, and type systems
Logic, Reasoning, and KnowledgeAI-based Problem Solving and PlanningLogic, programming, and type systems
关系图谱

An A-Prolog Decision Support System for the Space Shuttle · 作者

M

Matthew Barry

R

Richard Watson

M

Michael Gelfond

M

Marcello Balduccini

M

Monica L. Nogueira