Knowlog: A Declarative Language for Reasoning about Knowledge in Distributed Systems.
Matteo InterlandiPublished in: ER (2012)
Keyphrases
- agent technology
- distributed systems
- declarative language
- deductive databases
- mobile agents
- message passing
- fault tolerant
- load balancing
- fault tolerance
- distributed environment
- modeling language
- distributed computing
- software architecture
- agent based systems
- real time systems
- geographically distributed
- concurrent systems
- loosely coupled
- deadlock detection
- data replication
- expert systems
- multi agent systems
- distributed database systems
- integrity constraints
- operating system
- artificial intelligence
- database