`Travelled to:`

1 × Canada

1 × United Kingdom

4 × USA

`Collaborated with:`

∅ M.Ben-Jacob

`Talks about:`

semant (4) program (3) logic (3) valu (2) stratifi (1) general (1) databas (1) metric (1) method (1) higher (1)

## Person: Melvin Fitting

### DBLP: Fitting:Melvin

### Contributed to:

### Wrote 6 papers:

- CL-2000-Fitting #database
- Databases and Higher Types (MF), pp. 41–52.
- ILPS-1993-Fitting #logic programming #metric #semantics #source code
- Metric Methods in the Semantics of Logic Programs (MF), pp. 69–71.
- JICSLP-1992-Fitting #logic programming #semantics
- Many-Valued Semantics for Logic Programming (MF), pp. 23–24.
- ISLP-1991-Fitting #semantics
- Well-Founded Semantics, Generalized (MF), pp. 71–84.
- LICS-1989-Fitting
- Negation As Refutation (MF), pp. 63–70.
- JICSCP-1988-FittingB88 #logic programming #semantics
- Stratified and Three-valued Logic Programming Semantics (MF, MBJ), pp. 1054–1069.