16 citations · 20 across the 3 of their papers we have counts for
3 papers
cs.AI2018★ 1 cited
Vicious Circle Principle and Logic Programs with Aggregates
Michael Gelfond, Yuanlin Zhang
The paper presents a knowledge representation language which extends ASP with aggregates. The goal is to have a language based on simple syntax and clear intuitive…
cs.LO2015★ 16 cited
Modular Action Language ALM
Daniela Inclezan, Michael Gelfond
The paper introduces a new modular action language, ALM, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993; 1998) in which a hi…
cs.AI2008★ 3 cited
Probabilistic reasoning with answer sets
Chitta Baral, Michael Gelfond, Nelson Rushton
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while ca…