Core TuLiP Logic Programming for Trust Management.
Marcin CzenkoSandro EtallePublished in: ICLP (2007)
Keyphrases
- logic programming
- trust management
- logic programs
- management system
- trust evaluation
- deductive databases
- trust model
- logic programming language
- nonmonotonic reasoning
- knowledge representation
- decision support
- knowledge base
- computing environments
- computational logic
- answer set programming
- programming language
- virtual organization
- access control
- test bed
- virtual communities
- constraint logic programming
- default logic
- expert systems
- service providers
- answer sets
- stable models
- high level
- multi agent
- artificial intelligence