Similar Items: ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation
- AlgebraicAgents.jl: Hierarchical Composition of Multi-Formalism Dynamical Systems
- Gradual Semantics for Weighted Higher-Order Argumentation Frameworks
- AgenticNav: A Hierarchical Multi-Agentic System for LLM-Driven Autonomous Problem-Solving in Robotics
- The Pulmonary Agent-based Infection simulator (PAI): A Multi-Scale Agent-Based Model of Pulmonary Host-Pathogen Interactions
- Formal Logic Inference Guided Uncertainty Quantification for Personalized Federated Learning
- Enforcing Global Usage Constraints in Distributed Systems: A Formal Model of Directed Traceability