Login / Signup

Analysis of Agent-Based Systems Using Decision Procedures.

Ramesh Bharadwaj
Published in: FAABS (2000)
Keyphrases
  • decision procedures
  • agent based systems
  • theorem proving
  • database
  • real time
  • knowledge base
  • multi agent systems
  • computational intelligence
  • modal logic