Status
- DAML = First-order logic and some DAML+OIL
- Agent KB representation language = Situation Calculus
- Generic procedures representation language = Golog
- Deductive machinery = Prolog
- Agent Broker = Open Agent Architecture [SRI]
- Prototype agent/agent broker constructed.
- Preliminary ervice ontology constructed.