Gelfond, Michael

8 publications

JAIR 2019 REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics Mohan Sridharan, Michael Gelfond, Shiqi Zhang, Jeremy L. Wyatt

IJCAI 2016 On the Relationship Between P-Log and LPMLN Evgenii Balai, Michael Gelfond

AAAI 2005 Conformant Planning for Domains with Constraints-a New Approach Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales

AAAI 2005 Reasoning About Intended Actions Chitta Baral, Michael Gelfond

IJCAI 1993 Representing Concurrent Actions in Extended Logic Programming Chitta Baral, Michael Gelfond

AAAI 1991 Strong Introspection Michael Gelfond

AAAI 1988 Compiling Circumscriptive Theories into Logic Programs Michael Gelfond, Vladimir Lifschitz

AAAI 1987 On Stratified Autoepistemic Theories Michael Gelfond