C
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