21 results on '"Bentahar, Jamal"'
Search Results
2. Model checking combined trust and commitments in Multi-Agent Systems
3. A comprehensive survey on applications of transformers for deep learning tasks
4. A reinforcement learning model for the reliability of blockchain oracles
5. Model checking agent-based communities against uncertain group commitments and knowledge
6. Model checking combined trust and commitments in Multi-Agent Systems
7. A comprehensive survey on applications of transformers for deep learning tasks
8. Multi-dimensional trust for context-aware services computing
9. Model checking intelligent avionics systems for test cases generation using multi-agent systems
10. Specifying and verifying contract-driven service compositions using commitments and model checking
11. CEAP: SVM-based intelligent detection model for clustered vehicular ad hoc networks
12. A Stackelberg game for distributed formation of business-driven services communities
13. On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems
14. Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols
15. Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments
16. To compete or cooperate? This is the question in communities of autonomous services
17. Measuring and analyzing agents’ uncertainty in argumentation-based negotiation dialogue games
18. Agent-based game-theoretic model for collaborative web services: Decision making analysis
19. Symbolic model checking composite Web services using operational and control behaviors
20. Verifying conformance of multi-agent commitment-based protocols
21. On the analysis of reputation for agent-based web services
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.