Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. - Chitta Baral; Gregory Gelfond; Tran Cao Son; Enrico Pontelli (AAMAS, 2010)

Logic programming for finding models in the logics of knowledge and its applications: A case study. - Chitta Baral; Gregory Gelfond; Enrico Pontelli; Tran Cao Son (Theory Pract. Log. Program., 2010)

On Representing Actions in Multi-agent Domains. - Chitta Baral; Gregory Gelfond (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains. - Enrico Pontelli; Tran Cao Son; Chitta Baral; Gregory Gelfond (Correct Reasoning, 2012)

Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL. - Chitta Baral; Gregory Gelfond; Enrico Pontelli; Tran Cao Son (CLIMA, 2013)

Finitary S5-Theories. - Tran Cao Son; Enrico Pontelli; Chitta Baral; Gregory Gelfond (JELIA, 2014)

Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence. - Tran Cao Son; Enrico Pontelli; Chitta Baral; Gregory Gelfond (AAAI, 2015)

Multi-Agent Action Modeling Through Action Sequences And Perspective Fluents. - Chitta Baral; Gregory Gelfond; Enrico Pontelli; Tran Cao Son (AAAI Spring Symposia, 2015)

An Action Language for Multi-Agent Domains: Foundations. - Chitta Baral; Gregory Gelfond; Enrico Pontelli; Tran Cao Son (CoRR, 2015)

Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach. - Gregory Gelfond (2018)

An action language for multi-agent domains. - Chitta Baral; Gregory Gelfond; Enrico Pontelli; Tran Cao Son (Artif. Intell., 2022)

Machines as Thought Partners: Reflections on 50 Years of Prolog. - Gregory Gelfond; Marcello Balduccini; David A. Ferrucci; Aditya Kalyanpur; Adam Lally (Prolog: The Next 50 Years, 2023)

A community-driven vision for a new knowledge resource for AI. - Vinay K. Chaudhri; Chaitan Baru; Brandon Bennett; Mehul Bhatt; Darion Cassel; Anthony G. Cohn 001; Rina Dechter; Esra Erdem 001; David A. Ferrucci; Kenneth D. Forbus; Gregory Gelfond; Michael R. Genesereth; et al. (AI Mag., 2025)