Michael Gelfond
Affiliations: | University of Texas at El Paso, El Paso, TX, United States |
Area:
Computer Science, Artificial IntelligenceGoogle:
"Michael Gelfond"Parents
Sign in to add mentor| Nikolai Aleksandrovich Shanin | grad student | 1974 | Steklov Institute of Mathematics (MathTree) |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Kahl P, Watson R, Balai E, et al. (2020) The language of epistemic specifications (refined) including a prototype solver Journal of Logic and Computation. 30: 953-989 |
| Sridharan M, Gelfond M, Zhang S, et al. (2019) REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics Journal of Artificial Intelligence Research. 65: 87-180 |
| Gelfond M, Zhang Y. (2019) Vicious circle principle, aggregates, and formation of sets in ASP based languages Artificial Intelligence. 275: 28-77 |
| Balai E, Gelfond M, Zhang Y. (2019) P-log: refinement and a new coherency condition Annals of Mathematics and Artificial Intelligence. 86: 149-192 |
| Erdem E, Gelfond M, Leone N. (2016) Applications of Answer Set Programming Ai Magazine. 37: 53 |
| Inclezan D, Gelfond M. (2016) Modular action language Theory and Practice of Logic Programming. 16: 189-235 |
| Gelfond M, Zhang Y. (2014) Vicious Circle Principle and Logic Programs with Aggregates Theory and Practice of Logic Programming. 14: 587-601 |
| Gelfond M, Inclezan D. (2013) Some properties of system descriptions of Journal of Applied Non-Classical Logics. 23: 105-120 |
| Gallagher JP, Gelfond M. (2011) Introduction to the 27th International Conference on Logic Programming Special Issue Theory and Practice of Logic Programming. 11: 429-432 |
| Tu PH, Son TC, Gelfond M, et al. (2010) Approximation of action theories and its application to conformant planning Artificial Intelligence. 175: 79-119 |