`Travelled to:`

1 × Canada

1 × France

1 × Israel

1 × Italy

1 × Japan

1 × Spain

5 × USA

`Collaborated with:`

V.Lifschitz H.Przymusinska Y.Zhang V.S.Mellarkod J.Lobo ∅ A.Gabaldon S.Baselice P.A.Bonatti C.Baral O.Kosheleva T.C.Przymusinski M.Truszczynski M.Nogueira M.Balduccini R.Watson M.Barry

`Talks about:`

program (6) logic (6) answer (3) set (3) constraint (2) system (2) integr (2) extend (2) solv (2) relationship (1)

## Person: Michael Gelfond

### DBLP: Gelfond:Michael

### Facilitated 2 volumes:

### Contributed to:

### Wrote 13 papers:

- ICLP-J-2014-GelfondZ #logic programming #source code
- Vicious Circle Principle and Logic Programs with Aggregates (MG, YZ), pp. 587–601.
- FLOPS-2008-MellarkodG #constraints #reasoning #set #theorem proving
- Integrating Answer Set Reasoning with Constraint Solving Techniques (VSM, MG), pp. 15–31.
- ICLP-2008-GelfondL #policy
- Authorization and Obligation Policies in Dynamic Systems (MG, JL), pp. 22–36.
- ICLP-2005-BaseliceBG #constraints #integration #set #theorem proving #towards
- Towards an Integration of Answer Set and Constraint Solving (SB, PAB, MG), pp. 52–66.
- ICLP-2004-Gelfond #design #programming #set
- Answer Set Programming and the Design of Deliberative Agents (MG), pp. 19–26.
- PADL-2001-NogueiraBGWB #prolog
- An A-Prolog Decision Support System for the Space Shuttle (MN, MB, MG, RW, MB), pp. 169–183.
- ILPS-1997-GelfondG #functional #logic programming #specification
- From Functional Specifications to Logic Programms (MG, AG), pp. 355–369.
- ILPS-1993-BaralGK #approximate #logic programming #source code
- Approximating General Logic Programs (CB, MG, OK), pp. 181–198.
- JICSLP-1992-GelfondL #logic programming #representation
- Representing Actions in Extended Logic Programming (MG, VL), pp. 559–573.
- KR-1991-GelfondPLT
- Disjective Defaults (MG, HP, VL, MT), pp. 230–237.
- CLP-1990-GelfondL90 #logic programming #source code
- Logic Programs with Classical Negation (MG, VL), pp. 579–597.
- JICSCP-1988-GelfondL88 #logic programming #semantics
- The Stable Model Semantics for Logic Programming (MG, VL), pp. 1070–1080.
- PODS-1986-GelfondPP #parallel
- The Extended Closed World Assumpution and its Relationship to Parallel Circumscription (MG, HP, TCP), pp. 133–139.