Compiling AnsProlog to First-Order Theories - An Approach to Integrate AnsProlog Knowledge Bases with First-Order Knowledge Bases

Project: Research project

Project Details

StatusFinished
Effective start/end date9/30/0612/31/07

Funding

  • US Department of Defense (DOD): $106,736.00