`Travelled to:`

1 × Belgium

1 × Germany

1 × USA

1 × United Kingdom

`Collaborated with:`

∅

`Talks about:`

program (3) logic (3) interpret (1) discoveri (1) procedur (1) process (1) infinit (1) heurist (1) comput (1) claus (1)

## Person: M. A. Nait Abdallah

### DBLP: Abdallah:M=_A=_Nait

### Contributed to:

### Wrote 4 papers:

- JICSCP-1988-Abdallah88 #heuristic #logic #process
- Heuristic Logic and the Process of Discovery (MANA), pp. 859–875.
- ICALP-1987-Abdallah #logic programming
- Logic Programming with Ions (MANA), pp. 11–20.
- ICLP-1986-Abdallah86 #programming
- Procedures in Horn-Clause Programming (MANA), pp. 433–447.
- ICALP-1984-Abdallah #infinity #logic programming #on the
- On the Interpretation of Infinite Computations in Logic Programming (MANA), pp. 358–370.