Teams Link: MS Teams Abstract: The talk will focus on enabling autonomous actors, such as digital agents or robots, to take deliberative actions towards achieving their long horizon goals, in the face of uncertainty and dynamic events. Today, dynamic events or failures often require human intervention, system restarts, retraining, or redesign, for example, when robots… Read More »Integration of Structured Reasoning and Data-driven Learning for Acting and Planning by Dr. Sunandita Patra

Venue: SIT001 Abstract : Developing intelligent negotiation dialogue systems that promote fair and sustainable outcomes is crucial for advancing automated negotiation for social good. Since effective negotiation requires balancing cooperation and competition while maintaining respect, we propose GENTEEL-NEGOTIATOR, a polite negotiation dialogue system for tourism and e-commerce domains. We introduce NEGOCHAT, a tourism negotiation dataset, and enrich it… Read More »Genteel-Negotiator: LLM-enhanced mixture-of-expert-based reinforcement learning approach for polite negotiation dialogue by Dr. Mauajama Firdaus

Venue: Bharti 501 Abstract: Logics and proof theories play a large role in the formal study and analysis of systems, especially for formal verification. The exact shape of the syntax and proof rules involved depend heavily on the systems being modelled and verified. In this talk, we will introduce a logical syntax for communicated messages… Read More »Logical explorations for security theory by Prof. Vaishnavi Sundararajan