Gregory Gelfond
Refinement through Writing

My research is in knowledge representation and reasoning: action languages, epistemic reasoning about multi-agent domains, and answer-set programming. Selected work appears first, followed by the full record.

Selected Work

2025
A Community-Driven Vision for a New Knowledge Resource for AI
Vinay K. Chaudhri, Chaitan Baru, … Gregory Gelfond … Michael Witbrock (32 authors)
AI Magazine 46 (e70035)
Article ↗
2023
Machines as Thought Partners: Reflections on 50 Years of Prolog
Gregory Gelfond, Marcello Balduccini, David Ferrucci, Adi Kalyanpur, Adam Lally
Prolog — The Next 50 Years. LNCS 13900. Springer.
PDF →
2022
An Action Language for Multi-Agent Domains
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
Artificial Intelligence 302:103601
PDF →
2015
An Action Language for Multi-Agent Domains: Foundations
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
CoRR abs/1511.01960 (preprint)
PDF →
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 and Practice of Logic Programming 10(4–6):675–690
PDF →

Publications

2025
A Community-Driven Vision for a New Knowledge Resource for AI
Vinay K. Chaudhri, Chaitan Baru, … Gregory Gelfond … Michael Witbrock (32 authors)
AI Magazine 46 (e70035)
Article ↗
2023
Machines as Thought Partners: Reflections on 50 Years of Prolog
Gregory Gelfond, Marcello Balduccini, David Ferrucci, Adi Kalyanpur, Adam Lally
Prolog — The Next 50 Years. LNCS 13900. Springer.
PDF →
2022
An Action Language for Multi-Agent Domains
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
Artificial Intelligence 302:103601
PDF →
2018
Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach
Gregory Gelfond
Ph.D. dissertation, Arizona State University
PDF →
2015
An Action Language for Multi-Agent Domains: Foundations
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
CoRR abs/1511.01960 (preprint)
PDF →
2015
Exploring the KD45n Property of a Kripke Model after the Execution of an Action Sequence
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
Proc. 29th AAAI Conference on Artificial Intelligence (AAAI)
PDF →
2015
Multi-Agent Action Modeling through Action Sequences and Perspective Fluents
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
AAAI Spring Symposium on Common Sense Reasoning
PDF →
2014
Finitary S5-Theories
Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond
Logics in Artificial Intelligence (JELIA). LNCS 8761, pp. 239–252. Springer.
PDF →
2013
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
Computational Logic in Multi-Agent Systems (CLIMA). LNCS 8143, pp. 290–306. Springer.
PDF →
2012
An Action Language for Reasoning about Beliefs in Multi-Agent Domains
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
14th Int’l Workshop on Non-Monotonic Reasoning (NMR)
PDF →
2012
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
Correct Reasoning. LNCS 7265, pp. 509–526. Springer.
PDF →
2011
On Representing Actions in Multi-Agent Domains
Chitta Baral, Gregory Gelfond
Symposium on Constructive Mathematics, pp. 213–232. Springer.
PDF →
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 and Practice of Logic Programming 10(4–6):675–690
PDF →
2010
Using Answer Set Programming to Model Multi-Agent Scenarios Involving Agents’ Knowledge about Other’s Knowledge
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
Proc. 9th Int’l Conf. on Autonomous Agents and Multiagent Systems (AAMAS), pp. 259–266
PDF →
2007
A Declarative Framework for Modeling Multi-Agent Systems
Gregory Gelfond
M.S. thesis, Texas Tech University
PDF →
2007
Modeling Cooperative Multi-Agent Systems
Gregory Gelfond, Richard Watson
4th Int’l Workshop on Answer Set Programming (ASP)
PDF →
2005
Textual Inference by Combining Multiple Logic Programming Paradigms
Chitta Baral, Gregory Gelfond, Michael Gelfond, Richard Scherl
AAAI’05 Workshop on Inference for Textual Question Answering
PDF →

Patent

2023
Machine-Learning Assisted Natural Language Programming System
David Ferrucci, Nelson Rushton, Andrew Beck, Greg Burnham, David Nachman, Marcello Balduccini, Clifton McFate, Gregory Gelfond
U.S. Patent Application 2023/0305822 A1
USPTO ↗