Gregory Gelfond

According to our database, Gregory Gelfond authored at least 12 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Machines as Thought Partners: Reflections on 50 Years of Prolog.

Gregory Gelfond, Marcello Balduccini, David A. Ferrucci, Aditya Kalyanpur, Adam Lally

Proceedings of the Prolog: The Next 50 Years, 2023

2022

An action language for multi-agent domains.

Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son

Artif. Intell., 2022

2018

Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach.

Gregory Gelfond

PhD thesis, 2018

2015

An Action Language for Multi-Agent Domains: Foundations.

Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son

CoRR, 2015

Multi-Agent Action Modeling Through Action Sequences And Perspective Fluents.

Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son

Proceedings of the 2015 AAAI Spring Symposia, 2015

Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence.

Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Finitary S5-Theories.

Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

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

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

2012

Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains.

Enrico Pontelli, Tran Cao Son, Chitta Baral, Gregory Gelfond

Proceedings of the Correct Reasoning, 2012

2011

On Representing Actions in Multi-agent Domains.

Chitta Baral, Gregory Gelfond

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

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

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

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010