Historically, AI has done well only when not near humans. AI for Society (AI4S) group at the AI Institute is focused on enabling people to make rational decisions despite real-world complexities of poor data, changing goals, and limited resources by augmenting their cognitive limitations with technology. Lead by Prof. Biplav Srivastava, the group works in neuro-symbolic methods, trusted AI, and applications of data-driven methods to society. We innovate as well as apply AI techniques for hard problems facing the society with an inclusive, value-driven, focus.
Our differentiating initiatives include working with language models for automated planning, including building compact foundation models for planning-like tasks and creating ontologies for automated planning (generalized planning), black-box assessment and rating for AI (GAICO and ARC tools), group recommendation, metacognition-based SOFAI tool to combine fast (e.g., LLMs) and slow thinking (e.g., reasoners), and exploring AI like chatbots in trust-sensitive domains, viz. elections, nutrition (meals), exercises (Yoga), opinion networks, and traffic (for SC).
AI4S group will present two research papers, two workshop papers, and a tutorial at the 36th International Conference on Automated Planning and Scheduling (ICAPS 2026), Dublin, Ireland, June 27–July 2, 2026. See schedule below.
Biplav to give a keynote talk, titled Creating and Using AI Testcases for Promoting Reproducibility, at NAIRR Pilot Classroom Expansion Conference: Capacity and Community for Research-Emerging Institutions with Large Computing Programs by CRA/NSF at Orlando, FL, June 18-19, 2026 (agenda).
Biplav to give an invited talk at Information Sharing and Analysis Center (ISAC) Annual Summit, elections track, at Orlando, FL, June 21-24, 2026.
Dr. Kausik and Dr. Vishal were hooded on May 7, 2026, having defended dissertations in Feb and March, respectively (details).
See more news items, since 2020, here.
36th International Conference on Automated Planning and Scheduling · Dublin, Ireland · June 27 – July 2, 2026 · Venue: Clayton Hotel Burlington Road
| Date | Activity | Room |
|---|---|---|
| Sun, Jun 28 16:20–17:30 Session 4 · Robotics & Multi-agent Planning |
Workshop (KEPS)
maPO: An Ontology for Multi-Agent Path Finding and Its Usage for Explaining Planner Behaviour [Paper] [Website] [Project] |
Room 9 |
| Mon, Jun 29 Full day |
Workshop (LLM4Plan)
FABLE: A Novel Data-Flow Analysis Benchmark on Procedural Text for Large Language Model Evaluation [Paper] [Code] [Dataset] |
Room 1+2 |
| Mon, Jun 29 09:00–12:30 |
Tutorial
Planning Ontology: Knowledge Representation and Explainable Planning [Proposal] [Project] |
Room 5 |
| Tue, Jun 30 14:20 Session 2A · Model Learning and Model Repair |
Main Conf. Paper
On Sample-Efficient Generalized Planning via Learned Transition Models [Paper] [Code] |
TBA |
| Thu, Jul 2 16:00 Session 8B · Applications II |
Main Conf. Paper
Rating Composite AI Models for Robustness Through Probabilistic Planning |
TBA |
AI4Society builds on a lineage of pioneering researchers in AI and knowledge representation.
Our research presentations at major AI conferences