Ojaswa Garg

Identifiers

• name variant Ojaswa Garg 0.60 · backfill

Papers (2)

1. Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica cs.LO · 2026 · author #3
2. Logical Robots: Declarative Multi-Agent Programming in Logica cs.MA · 2026 · author #3

Mentions

• 2606.02926 #3 · arxiv_oai · confidence 0.70 Ojaswa Garg

Frequent Coauthors

• Bertram Lud\"ascher 2 shared papers
• Evgeny Skvortsov 2 shared papers
• Shawn Bowers 2 shared papers
• Yilin Xia 2 shared papers