Formal Reasoning Using Distributed Assertions.
Farah Al WardaniKaustuv ChaudhuriDale MillerPublished in: FroCoS (2023)
Keyphrases
- knowledge base
- distributed systems
- formal models
- distributed environment
- fault tolerant
- distributed constraint satisfaction
- knowledge representation
- cooperative
- multi agent
- computer networks
- formal methods
- reasoning process
- mobile agents
- databases
- agent technology
- default reasoning
- uncertain information
- genetic algorithm
- mathematical theory
- reasoning processes
- logical reasoning
- machine learning