| Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge C Baral, G Gelfond, TC Son, E Pontelli Proceedings of the 9th International Conference on Autonomous Agents and …, 2010 | 52 | 2010 |
| An action language for reasoning about beliefs in multi-agent domains C Baral, G Gelfond, E Pontelli, TC Son Proceedings of the 14th International Workshop on Non-Monotonic Reasoning 4, 2012 | 25 | 2012 |
| Textual inference by combining multiple logic programming paradigms C Baral, G Gelfond, M Gelfond, R Scherl AAAI’05 Workshop on Inference for Textual Question Answering 816, 20, 2005 | 23 | 2005 |
| An action language for multi-agent domains C Baral, G Gelfond, E Pontelli, TC Son Artificial Intelligence 302, 103601, 2022 | 22 | 2022 |
| Finitary S5-Theories TC Son, E Pontelli, C Baral, G Gelfond Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014 | 22 | 2014 |
| An action language for multi-agent domains: Foundations C Baral, G Gelfond, E Pontelli, TC Son arXiv preprint arXiv:1511.01960, 2015 | 21 | 2015 |
| Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains. E Pontelli, TC Son, C Baral, G Gelfond Correct Reasoning 7265, 509-526, 2012 | 17 | 2012 |
| On representing actions in multi-agent domains C Baral, G Gelfond Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning …, 2011 | 14 | 2011 |
| Logic programming for finding models in the logics of knowledge and its applications: A case study C Baral, G Gelfond, E Pontelli, T Son Theory and Practice of Logic Programming 10 (4-6), 675-690, 2010 | 13 | 2010 |
| Exploring the kd45 property of a kripke model after the execution of an action sequence T Son, E Pontelli, C Baral, G Gelfond Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 12 | 2015 |
| Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: The action language mal C Baral, G Gelfond, E Pontelli, TC Son International Workshop on Computational Logic in Multi-Agent Systems, 290-306, 2013 | 12 | 2013 |
| Modeling cooperative multi-agent systems G Gelfond, R Watson Proc. of ASP Workshop, 2007 | 12 | 2007 |
| A declarative framework for modeling multi-agent systems G Gelfond | 5 | 2007 |
| An action language for multi-agent domains: Foundations. CoRR abs/1511.01960 (2015) C Baral, G Gelfond, E Pontelli, TC Son arXiv preprint arXiv:1511.01960, 0 | 5 | |
| Multi-agent action modeling through action sequences and perspective fluents C Baral, G Gelfond, E Pontelli, TC Son 2015 AAAI Spring Symposium Series, 2015 | 3 | 2015 |
| Machine-Learning Assisted Natural Language Programming System DA Ferrucci, M Balduccini, AE Beck, G Burnham, G Gelfond, CJ McFate, ... US Patent App. 18/114,218, 2023 | 1 | 2023 |
| Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach G Gelfond Arizona State University, 2018 | 1 | 2018 |
| Machines as Thought Partners: Reflections on 50 Years of Prolog G Gelfond, M Balduccini, D Ferrucci, A Kalyanpur, A Lally Prolog: The Next 50 Years, 386-392, 2023 | | 2023 |
| The Escapee Domain: A Multi-Agent Planning Domain G Gelfond | | 2018 |
| An Overview of Two Approaches for Knowledge Representation and Reasoning in the Context of Planning G Gelfond, G Hunt | | 2010 |
