Gregory Gelfond

15 papers A* 1A 1B 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Community-driven vision for a new Knowledge Resource for AI.
CoRR
Vinay K. Chaudhri, Chaitan Baru, Brandon Bennett, Mehul Bhatt, Darion Cassel, Anthony G. Cohn, Rina Dechter, Esra Erdem, David A. Ferrucci, Kenneth D. Forbus, Gregory Gelfond, Michael R. Genesereth, Andrew S. Gordon, Benjamin N. Grosof, Gopal Gupta, Jim Hendler, Sharat Israni, Tyler R. Josephson, Patrick C. Kyllonen, Yuliya Lierler, Vladimir Lifschitz, Clifton James McFate, Hande K. McGinty, Leora Morgenstern, Alessandro Oltramari, Praveen K. Paritosh, Dan Roth, Blake Shepard, Cogan Shimizu, Denny Vrandecic, Mark Whiting, Michael Witbrock
2025 J jnl
A community-driven vision for a new knowledge resource for AI.
AI Mag.
Vinay K. Chaudhri, Chaitan Baru, Brandon Bennett, Mehul Bhatt, Darion Cassel, Anthony G. Cohn, Rina Dechter, Esra Erdem, David A. Ferrucci, Kenneth D. Forbus, Gregory Gelfond, Michael R. Genesereth, Andrew S. Gordon, Benjamin N. Grosof, Gopal Gupta, Jim Hendler, Sharat Israni, Tyler R. Josephson, Patrick C. Kyllonen, Yuliya Lierler, Vladimir Lifschitz, Clifton James McFate, Hande K. McGinty, Leora Morgenstern, Alessandro Oltramari, Praveen K. Paritosh, Dan Roth, Blake Shepard, Cogan Shimizu, Denny Vrandecic, Mark Whiting, Michael Witbrock
2023 — ch.
Machines as Thought Partners: Reflections on 50 Years of Prolog.
Prolog: The Next 50 Years
Gregory Gelfond, Marcello Balduccini, David A. Ferrucci, Aditya Kalyanpur, Adam Lally
2022 J jnl
An action language for multi-agent domains.
Artif. Intell.
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2018 — —
Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach.
Gregory Gelfond
2015 J jnl
An Action Language for Multi-Agent Domains: Foundations.
CoRR
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2015 A* conf
Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence.
AAAI
Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond
2015 — conf
Multi-Agent Action Modeling Through Action Sequences And Perspective Fluents.
AAAI Spring Symposia
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2014 B conf
Finitary S5-Theories.
JELIA
Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond
2013 — conf
Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL.
CLIMA
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2012 — conf
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains.
Correct Reasoning
Enrico Pontelli, Tran Cao Son, Chitta Baral, Gregory Gelfond
2011 — conf
On Representing Actions in Multi-agent Domains.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Chitta Baral, Gregory Gelfond
2010 J jnl
Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study
CoRR
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2010 J jnl
Logic programming for finding models in the logics of knowledge and its applications: A case study.
Theory Pract. Log. Program.
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2010 A conf
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge.
AAMAS
Chitta Baral, Gregory Gelfond, Tran Cao Son, Enrico Pontelli