Michael Gelfond

Identifiers

• name variant Michael Gelfond 0.60 · backfill

Papers (8)

1. Vicious Circle Principle and Logic Programs with Aggregates cs.AI · 2018 · author #1
2. Vicious Circle Principle and Formation of Sets in ASP Based Languages cs.AI · 2016 · author #1
3. REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics cs.RO · 2015 · author #2
4. KR$^3$: An Architecture for Knowledge Representation and Reasoning in Robotics cs.AI · 2014 · author #3
5. Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules cs.AI · 2013 · author #2
6. SPARC - Sorted ASP with Consistency Restoring Rules cs.PL · 2013 · author #2
7. Probabilistic reasoning with answer sets cs.AI · 2008 · author #2
8. Diagnostic reasoning with A-Prolog cs.AI · 2003 · author #2

Mentions

• 1508.03891 #2 · backfill · confidence 0.70 Michael Gelfond
• 1405.0999 #3 · backfill · confidence 0.70 Michael Gelfond
• 1301.1387 #2 · backfill · confidence 0.70 Michael Gelfond
• 1301.1386 #2 · backfill · confidence 0.70 Michael Gelfond
• 0812.0659 #2 · backfill · confidence 0.70 Michael Gelfond

Frequent Coauthors

• Yuanlin Zhang 3 shared papers
• Jeremy Wyatt 2 shared papers
• Marcello Balduccini 2 shared papers
• Mohan Sridharan 2 shared papers
• Shiqi Zhang 2 shared papers
• Chitta Baral 1 shared papers
• Evgenii Balai 1 shared papers
• Nelson Rushton 1 shared papers