Gregory Gelfond

Available identifiers

zbMath Open gelfond.gregoryMaRDI QIDQ2060725

List of research outcomes

Publication	Date of Publication	Type
An action language for multi-agent domains	2021-12-13	Paper
Finitary \(\mathbf {S5}\)-theories	2015-01-14	Paper
Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: the action language mAL	2013-10-04	Paper
Answer set programming and planning with knowledge and world-altering actions in multiple agent domains	2012-07-23	Paper
On representing actions in multi-agent domains	2011-05-19	Paper
Logic programming for finding models in the logics of knowledge and its applications: a case study	2010-08-19	Paper

Research outcomes over time

This page was built for person: Gregory Gelfond