Gregory Gelfond

ORCID

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 4

Top Venues

Arizona State University, Tempe, USA (PHD)

Education History

Arizona State University, Tempe, USA

PHD

Publications

Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
An action language for multi-agent domains. Artif. Intell. 302 (2022)
Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond
Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence. AAAI (2015)
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
An Action Language for Multi-Agent Domains: Foundations. CoRR (2015)
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
Multi-Agent Action Modeling Through Action Sequences And Perspective Fluents. AAAI Spring Symposia (2015)
Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond
Finitary S5-Theories. JELIA (2014)
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL. CLIMA (2013)
Enrico Pontelli, Tran Cao Son, Chitta Baral, Gregory Gelfond
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains. Correct Reasoning (2012)
Chitta Baral, Gregory Gelfond
On Representing Actions in Multi-agent Domains. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
Logic programming for finding models in the logics of knowledge and its applications: A case study. Theory Pract. Log. Program. 10 (4-6) (2010)
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study CoRR (2010)
Chitta Baral, Gregory Gelfond, Tran Cao Son, Enrico Pontelli
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. AAMAS (2010)

Gregory Gelfond.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gregory Gelfond