Criticality Based Decentralised Decision Procedures for Manufacturing Networks Exploiting RFID and Agent Technology.
Hermann KühnleArndt LüderMichael HeinzePublished in: LDIC (2009)
Keyphrases
- agent technology
- decision procedures
- multi agent systems
- modal logic
- automated reasoning
- theorem proving
- software agents
- agent oriented
- mobile agents
- intelligent mobile
- distributed systems
- intelligent agents
- web intelligence
- electronic commerce
- conjunctive queries
- telecommunication networks
- database systems
- agent mediated
- database
- probabilistic reasoning
- temporal logic
- autonomous agents
- knowledge representation
- np hard
- search algorithm
- data mining