Login / Signup

EZPAL: Environment for composing constraint axioms by instantiating templates.

Chih-Sheng Johnson HouMark A. MusenNatalya Fridman Noy
Published in: Int. J. Hum. Comput. Stud. (2005)
Keyphrases
  • mobile robot
  • real time
  • real world
  • autonomous agents
  • knowledge base
  • case study
  • dynamic environments
  • virtual world
  • artificial intelligence
  • first order logic