Gregory Gelfond
From MaRDI portal
Person:2060725
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| An action language for multi-agent domains Artificial Intelligence j='Artificial Intelligence' a=' ' j#=23 a#=6 | 2021-12-13 | Paper |
| Finitary \(\mathbf {S5}\)-theories Logics in Artificial Intelligence j='Logics in Artificial Intelligence' a=' ' j#=33 a#=6 | 2015-01-14 | Paper |
| Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: the action language mAL Lecture Notes in Computer Science j='Lecture Notes in Computer Science' a=' ' j#=33 a#=6 | 2013-10-04 | Paper |
| Answer set programming and planning with knowledge and world-altering actions in multiple agent domains Correct Reasoning j='Correct Reasoning' a=' ' j#=17 a#=6 | 2012-07-23 | Paper |
| On representing actions in multi-agent domains Lecture Notes in Computer Science j='Lecture Notes in Computer Science' a=' ' j#=33 a#=6 | 2011-05-19 | Paper |
| Logic programming for finding models in the logics of knowledge and its applications: a case study Theory and Practice of Logic Programming j='Theory and Practice of Logic Programming' a=' ' j#=40 a#=6 | 2010-08-19 | Paper |
Research outcomes over time
This page was built for person: Gregory Gelfond
