• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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